Details

Time bar (total: 17.1s)

sample28.0ms

Algorithm
intervals
Results
11.0ms333×body80valid

simplify3.5s

Counts
1 → 1
Iterations
IterNodes
done5000
264763
254510
244265
234014
223757
213520
203263
193002
182745
172490
162233
151990
141662
131313
12944
11612
10421
9272
8188
7154
6133
5108
473
341
224
115
09

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 4.1b

localize14.0ms

Local error

Found 2 expressions with local error:

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

rewrite41.0ms

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

series131.0ms

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

simplify2.0s

Counts
55 → 55
Iterations
IterNodes
done5002
32760
2675
1244
094

prune401.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.0b

localize26.0ms

Local error

Found 1 expressions with local error:

6.1b
(* (- z t) (/ y a))

rewrite46.0ms

Algorithm
rewrite-expression-head
Rules
16×add-sqr-sqrt
13×associate-*r*
11×*-un-lft-identity
10×times-frac
9×add-cube-cbrt
6×add-cbrt-cube add-exp-log
5×associate-*l*
3×pow1
2×frac-times flip3-- associate-*l/ prod-exp cbrt-unprod flip-- unswap-sqr
1×cbrt-undiv div-exp pow-prod-down associate-*r/ *-commutative div-inv distribute-lft-out-- add-log-exp difference-of-squares
Counts
1 → 38
Calls
1 calls:
44.0ms
(* (- z t) (/ y a))

series79.0ms

Counts
1 → 3
Calls
1 calls:
79.0ms
(* (- z t) (/ y a))

simplify2.3s

Counts
41 → 41
Iterations
IterNodes
done5002
33653
2829
1248
096

prune254.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0b

localize58.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt a)
0.7b
(cbrt y)
0.7b
(cbrt y)
0.7b
(cbrt y)

rewrite3.0ms

Algorithm
rewrite-expression-head
Rules
12×cbrt-prod
8×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×pow1 add-cbrt-cube pow1/3 add-exp-log add-log-exp
Counts
4 → 44
Calls
4 calls:
1.0ms
(cbrt a)
1.0ms
(cbrt y)
1.0ms
(cbrt y)
1.0ms
(cbrt y)

series1.2s

Counts
4 → 12
Calls
4 calls:
301.0ms
(cbrt a)
290.0ms
(cbrt y)
292.0ms
(cbrt y)
321.0ms
(cbrt y)

simplify1.9s

Counts
56 → 56
Iterations
IterNodes
done5008
52518
4877
3347
2170
175
042

prune476.0ms

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0b

localize17.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (* z y) (* (- t) y))
5.1b
(/ (+ (* z y) (* (- t) y)) a)

rewrite56.0ms

Algorithm
rewrite-expression-head
Rules
12×times-frac
11×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
5×distribute-rgt-out
4×distribute-lft-neg-out add-cbrt-cube add-exp-log associate-/l* add-log-exp
3×associate-/r*
2×pow1 flip3-+ div-sub unsub-neg flip-+ associate-/l/
1×cbrt-undiv +-commutative clear-num sum-log frac-2neg div-exp div-inv
Counts
2 → 49
Calls
2 calls:
11.0ms
(+ (* z y) (* (- t) y))
42.0ms
(/ (+ (* z y) (* (- t) y)) a)

series115.0ms

Counts
2 → 6
Calls
2 calls:
41.0ms
(+ (* z y) (* (- t) y))
74.0ms
(/ (+ (* z y) (* (- t) y)) a)

simplify2.3s

Counts
55 → 55
Iterations
IterNodes
done5006
33151
2814
1219
085

prune317.0ms

Pruning

7 alts after pruning (4 fresh and 3 done)

Merged error: 0b

regimes682.0ms

Accuracy

0% (0.8b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations
IterNodes
done17
117
013

end0.0ms

sample1.2s

Algorithm
intervals
Results
572.0ms10720×body80valid