Details

Time bar (total: 19.6s)

sample1.5s

Algorithm
intervals
Results
863.0ms4253×body80valid

simplify1.7s

Counts
1 → 1
Iterations

Useful iterations: 4 (423.0ms)

IterNodesCost
02126
14626
213526
342026
4209525
done500125

prune16.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.2b

localize37.0ms

Local error

Found 1 expressions with local error:

0.1b
(* (- (- bz az) (* (/ vz vx) (- bx ax))) f)

rewrite245.0ms

Algorithm
rewrite-expression-head
Rules
14×associate-*l/
10×flip3-- frac-sub flip--
add-sqr-sqrt
frac-times associate-*r/
pow1 *-un-lft-identity add-cbrt-cube associate-*r* associate-*l* add-exp-log add-cube-cbrt
pow-prod-down prod-exp *-commutative cbrt-unprod add-log-exp unswap-sqr
Counts
1 → 30
Calls
1 calls:
242.0ms
(* (- (- bz az) (* (/ vz vx) (- bx ax))) f)

series213.0ms

Counts
1 → 3
Calls
1 calls:
213.0ms
(* (- (- bz az) (* (/ vz vx) (- bx ax))) f)

simplify1.3s

Counts
33 → 33
Iterations

Useful iterations: 2 (311.0ms)

IterNodesCost
0126751
1367730
21695678
done5002678

prune425.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize50.0ms

Local error

Found 2 expressions with local error:

0.1b
(/ (* bx (* vz f)) vx)
0.1b
(* bx (* vz f))

rewrite91.0ms

Algorithm
rewrite-expression-head
Rules
16×add-cbrt-cube add-exp-log
pow1
prod-exp cbrt-unprod
add-sqr-sqrt *-un-lft-identity add-cube-cbrt
cbrt-undiv associate-/r* times-frac div-exp associate-*l* pow-prod-down
add-log-exp
clear-num frac-2neg associate-*r* *-commutative div-inv associate-/l*
Counts
2 → 41
Calls
2 calls:
39.0ms
(/ (* bx (* vz f)) vx)
49.0ms
(* bx (* vz f))

series108.0ms

Counts
2 → 6
Calls
2 calls:
58.0ms
(/ (* bx (* vz f)) vx)
50.0ms
(* bx (* vz f))

simplify1.4s

Counts
47 → 47
Iterations

Useful iterations: done (1.4s)

IterNodesCost
072430
1194417
21055343
done5001331

prune351.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

regimes718.0ms

bsearch0.0ms

simplify4.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02126
12426
done2426

end0.0ms

sample11.5s

Algorithm
intervals
Results
7.9s26338×body80valid