Details

Time bar (total: 22.1s)

sample57.0ms

Algorithm
intervals
Results
19.0ms281×body80valid

simplify3.4s

Counts
1 → 1
Iterations
IterNodes
done5001
254987
244738
234485
224221
213975
203724
193468
183205
172954
162689
152425
142076
131689
121239
11799
10540
9376
8272
7218
6177
5123
486
349
230
117
010

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 10.9b

localize18.0ms

Local error

Found 2 expressions with local error:

0.0b
(* y (- z t))
11.1b
(/ (* y (- z t)) (- a t))

rewrite64.0ms

Algorithm
rewrite-expression-head
Rules
14×add-sqr-sqrt
12×*-un-lft-identity
9×add-cbrt-cube add-exp-log
6×add-cube-cbrt
5×associate-/r* times-frac associate-*r*
4×pow1 associate-*r/
3×flip3-- associate-*l* flip-- distribute-lft-out-- difference-of-squares
2×distribute-rgt-in cbrt-undiv sub-neg distribute-lft-in div-exp prod-exp associate-/r/ cbrt-unprod add-log-exp associate-/l/
1×clear-num frac-2neg pow-prod-down *-commutative div-inv associate-/l* unswap-sqr
Counts
2 → 55
Calls
2 calls:
32.0ms
(* y (- z t))
29.0ms
(/ (* y (- z t)) (- a t))

series194.0ms

Counts
2 → 6
Calls
2 calls:
66.0ms
(* y (- z t))
128.0ms
(/ (* y (- z t)) (- a t))

simplify2.3s

Counts
61 → 61
Iterations
IterNodes
done5044
33435
2810
1273
0105

prune403.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize13.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ (- a t) (- z t))
1.4b
(/ y (/ (- a t) (- z t)))

rewrite87.0ms

Algorithm
rewrite-expression-head
Rules
218×times-frac
194×add-sqr-sqrt *-un-lft-identity
90×add-cube-cbrt
52×distribute-lft-out-- difference-of-squares
36×associate-/r*
11×associate-/r/
9×add-cbrt-cube add-exp-log
8×associate-/l*
6×flip3-- div-inv flip--
4×cbrt-undiv div-exp
2×pow1 clear-num frac-2neg add-log-exp associate-/l/
1×div-sub
Counts
2 → 194
Calls
2 calls:
35.0ms
(/ (- a t) (- z t))
32.0ms
(/ y (/ (- a t) (- z t)))

series289.0ms

Counts
2 → 6
Calls
2 calls:
66.0ms
(/ (- a t) (- z t))
223.0ms
(/ y (/ (- a t) (- z t)))

simplify1.9s

Counts
200 → 200
Iterations
IterNodes
done5001
22516
1716
0270

prune1.2s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize38.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ (- a t) (- z t))
0.5b
(/ 1 (/ (/ (- a t) (- z t)) y))
1.4b
(/ (/ (- a t) (- z t)) y)

rewrite208.0ms

Algorithm
rewrite-expression-head
Rules
1181×times-frac
793×add-sqr-sqrt *-un-lft-identity
449×add-cube-cbrt
172×distribute-lft-out-- difference-of-squares
105×associate-/r*
39×associate-/l*
35×associate-/r/
31×add-exp-log
23×div-inv
19×add-cbrt-cube div-exp
18×flip3-- flip--
10×cbrt-undiv
4×pow1
3×rec-exp clear-num frac-2neg 1-exp div-sub add-log-exp associate-/l/
1×pow-flip inv-pow
Counts
3 → 611
Calls
3 calls:
23.0ms
(/ (- a t) (- z t))
56.0ms
(/ 1 (/ (/ (- a t) (- z t)) y))
54.0ms
(/ (/ (- a t) (- z t)) y)

series393.0ms

Counts
3 → 9
Calls
3 calls:
82.0ms
(/ (- a t) (- z t))
205.0ms
(/ 1 (/ (/ (- a t) (- z t)) y))
106.0ms
(/ (/ (- a t) (- z t)) y)

simplify2.8s

Counts
620 → 620
Iterations
IterNodes
done5004
24904
11962
0703

prune3.1s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize27.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ (- z t) (- a t))
1.8b
(* y (/ (- z t) (- a t)))

rewrite83.0ms

Algorithm
rewrite-expression-head
Rules
75×add-sqr-sqrt
70×*-un-lft-identity
51×times-frac
31×associate-*r*
26×add-cube-cbrt
22×distribute-lft-out-- difference-of-squares
9×add-cbrt-cube add-exp-log
5×associate-/r* associate-/l*
4×pow1 associate-/r/
3×flip3-- associate-*l* flip--
2×cbrt-undiv div-exp prod-exp cbrt-unprod div-inv add-log-exp unswap-sqr associate-/l/
1×clear-num frac-2neg div-sub pow-prod-down associate-*r/ *-commutative
Counts
2 → 102
Calls
2 calls:
37.0ms
(/ (- z t) (- a t))
38.0ms
(* y (/ (- z t) (- a t)))

series183.0ms

Counts
2 → 6
Calls
2 calls:
76.0ms
(/ (- z t) (- a t))
107.0ms
(* y (/ (- z t) (- a t)))

simplify3.1s

Counts
108 → 108
Iterations
IterNodes
done5036
34739
21149
1367
0138

prune575.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

regimes384.0ms

Accuracy

0% (1.4b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations
IterNodes
done15
115
012

end0.0ms

sample1.2s

Algorithm
intervals
Results
484.0ms8718×body80valid
0.0ms1×body1280valid