Details

Time bar (total: 10.9s)

sample74.0ms

Algorithm
intervals
Results
26.0ms333×body80valid

simplify2.4s

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01011
12111
25711
313811
444311
5249211
done500111

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.4b

localize19.0ms

Local error

Found 2 expressions with local error:

0.0b
(- (- by ay) (* (/ vy vx) (- bx by)))
5.4b
(* (/ vy vx) (- bx by))

rewrite154.0ms

Algorithm
rewrite-expression-head
Rules
17×add-sqr-sqrt
13×associate-*l*
12×*-un-lft-identity flip3-- flip--
10×times-frac frac-sub add-cube-cbrt
add-cbrt-cube add-exp-log add-log-exp
frac-times sub-neg associate-*r/
associate-*r*
distribute-rgt-in pow1 distribute-lft-in associate--r+
diff-log associate-*l/
prod-exp associate--l+ cbrt-unprod unswap-sqr
associate--l- cbrt-undiv div-exp pow-prod-down *-commutative div-inv distribute-lft-out-- difference-of-squares
Counts
2 → 72
Calls
2 calls:
79.0ms
(- (- by ay) (* (/ vy vx) (- bx by)))
70.0ms
(* (/ vy vx) (- bx by))

series201.0ms

Counts
2 → 6
Calls
2 calls:
105.0ms
(- (- by ay) (* (/ vy vx) (- bx by)))
96.0ms
(* (/ vy vx) (- bx by))

simplify2.2s

Counts
78 → 78
Iterations

Useful iterations: 2 (509.0ms)

IterNodesCost
01821286
15361216
227091164
done50021164

prune478.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0b

localize30.0ms

Local error

Found 4 expressions with local error:

4.9b
(cbrt (* (/ vy vx) (- bx by)))
5.4b
(* (/ vy vx) (- bx by))
5.4b
(* (/ vy vx) (- bx by))
5.4b
(* (/ vy vx) (- bx by))

rewrite205.0ms

Algorithm
rewrite-expression-head
Rules
49×add-sqr-sqrt
39×associate-*l*
34×*-un-lft-identity
30×times-frac
28×add-cube-cbrt
19×add-cbrt-cube add-exp-log
15×associate-*r*
10×pow1
frac-times flip3-- associate-*r/ flip--
distribute-rgt-in sub-neg distribute-lft-in prod-exp cbrt-unprod unswap-sqr
cbrt-div
associate-*l/ add-log-exp
cbrt-undiv div-exp pow-prod-down *-commutative div-inv distribute-lft-out-- difference-of-squares
cbrt-prod pow1/3
Counts
4 → 140
Calls
4 calls:
18.0ms
(cbrt (* (/ vy vx) (- bx by)))
53.0ms
(* (/ vy vx) (- bx by))
69.0ms
(* (/ vy vx) (- bx by))
55.0ms
(* (/ vy vx) (- bx by))

series532.0ms

Counts
4 → 12
Calls
4 calls:
235.0ms
(cbrt (* (/ vy vx) (- bx by)))
91.0ms
(* (/ vy vx) (- bx by))
102.0ms
(* (/ vy vx) (- bx by))
103.0ms
(* (/ vy vx) (- bx by))

simplify1.1s

Counts
152 → 152
Iterations

Useful iterations: done (1.1s)

IterNodesCost
01431662
13441628
214051478
done50001471

prune1.2s

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0b

regimes445.0ms

Accuracy

0% (1.4b remaining)

Error of 1.4b against oracle of 0.0b and baseline of 1.4b

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01011
11111
done1111

end0.0ms

sample1.9s

Algorithm
intervals
Results
1.0s10619×body80valid
0.0msbody2560valid
0.0msbody1280valid