Details

Time bar (total: 23.4s)

sample52.0ms

Algorithm
intervals
Results
19.0ms281×body80valid

simplify3.5s

Counts
1 → 1
Iterations
IterNodes
done5000
294873
284661
274456
264244
254037
243825
233620
223408
213199
202984
192775
182560
172343
162094
151816
141445
131266
12898
11542
10315
9258
8217
7197
6168
5129
486
353
234
120
010

prune13.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 1.1b

localize14.0ms

Local error

Found 2 expressions with local error:

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

rewrite84.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))
40.0ms
(* y (/ (- z t) (- a t)))

series158.0ms

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

simplify2.9s

Counts
108 → 108
Iterations
IterNodes
done5036
34739
21149
1367
0138

prune661.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0b

localize34.0ms

Local error

Found 4 expressions with local error:

0.7b
(cbrt y)
0.7b
(cbrt y)
0.9b
(* (* (cbrt y) (cbrt y)) (* (cbrt y) (/ (- z t) (- a t))))
1.2b
(* (cbrt y) (/ (- z t) (- a t)))

rewrite165.0ms

Algorithm
rewrite-expression-head
Rules
49×add-sqr-sqrt
39×*-un-lft-identity
32×associate-*r*
30×add-exp-log
27×times-frac
19×add-cube-cbrt
18×pow1 add-cbrt-cube
15×prod-exp cbrt-unprod
11×cbrt-prod
10×distribute-lft-out-- difference-of-squares
9×pow-prod-down
7×associate-*l*
4×add-log-exp unswap-sqr
3×cbrt-undiv div-exp associate-*r/
2×pow1/3 associate-/r/ *-commutative
1×flip3-- div-inv flip--
Counts
4 → 104
Calls
4 calls:
2.0ms
(cbrt y)
1.0ms
(cbrt y)
78.0ms
(* (* (cbrt y) (cbrt y)) (* (cbrt y) (/ (- z t) (- a t))))
78.0ms
(* (cbrt y) (/ (- z t) (- a t)))

series943.0ms

Counts
4 → 12
Calls
4 calls:
294.0ms
(cbrt y)
265.0ms
(cbrt y)
140.0ms
(* (* (cbrt y) (cbrt y)) (* (cbrt y) (/ (- z t) (- a t))))
243.0ms
(* (cbrt y) (/ (- z t) (- a t)))

simplify2.0s

Counts
116 → 116
Iterations
IterNodes
done5001
21431
1409
0149

prune661.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

localize85.0ms

Local error

Found 4 expressions with local error:

0.7b
(cbrt y)
0.7b
(cbrt y)
0.7b
(* (/ (cbrt y) (* (cbrt (- a t)) (cbrt (- a t)))) (/ (- z t) (cbrt (- a t))))
0.9b
(* (* (cbrt y) (cbrt y)) (* (/ (cbrt y) (* (cbrt (- a t)) (cbrt (- a t)))) (/ (- z t) (cbrt (- a t)))))

rewrite440.0ms

Algorithm
rewrite-expression-head
Rules
90×add-exp-log
78×add-sqr-sqrt
58×times-frac
54×*-un-lft-identity
47×associate-*r*
45×prod-exp cbrt-unprod
43×add-cbrt-cube
40×cbrt-prod
28×add-cube-cbrt
21×cbrt-undiv div-exp
19×associate-*l*
18×pow1
14×cbrt-div
13×distribute-lft-out-- difference-of-squares
10×associate-/r/
9×pow-prod-down unswap-sqr
7×flip3-- associate-*r/ flip--
6×frac-times
4×associate-*l/ add-log-exp
2×pow1/3 *-commutative div-inv
Counts
4 → 164
Calls
4 calls:
1.0ms
(cbrt y)
1.0ms
(cbrt y)
154.0ms
(* (/ (cbrt y) (* (cbrt (- a t)) (cbrt (- a t)))) (/ (- z t) (cbrt (- a t))))
277.0ms
(* (* (cbrt y) (cbrt y)) (* (/ (cbrt y) (* (cbrt (- a t)) (cbrt (- a t)))) (/ (- z t) (cbrt (- a t)))))

series1.5s

Counts
4 → 12
Calls
4 calls:
240.0ms
(cbrt y)
318.0ms
(cbrt y)
732.0ms
(* (/ (cbrt y) (* (cbrt (- a t)) (cbrt (- a t)))) (/ (- z t) (cbrt (- a t))))
214.0ms
(* (* (cbrt y) (cbrt y)) (* (/ (cbrt y) (* (cbrt (- a t)) (cbrt (- a t)))) (/ (- z t) (cbrt (- a t)))))

simplify3.1s

Counts
176 → 176
Iterations
IterNodes
done5003
23412
1844
0260

prune1.1s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

localize61.0ms

Local error

Found 4 expressions with local error:

0.7b
(cbrt y)
0.7b
(cbrt y)
0.9b
(* (* (cbrt y) (* (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)))) (* (cbrt y) (/ (- z t) (- a t))))
1.2b
(* (cbrt y) (/ (- z t) (- a t)))

rewrite230.0ms

Algorithm
rewrite-expression-head
Rules
49×add-sqr-sqrt
45×add-exp-log
39×*-un-lft-identity
32×associate-*r*
27×pow1 times-frac
26×prod-exp cbrt-unprod
25×add-cbrt-cube
19×add-cube-cbrt
16×pow-prod-down
11×cbrt-prod
10×distribute-lft-out-- difference-of-squares
7×associate-*l*
4×cbrt-undiv div-exp add-log-exp unswap-sqr
3×associate-*r/
2×pow1/3 associate-/r/ *-commutative
1×flip3-- div-inv flip--
Counts
4 → 112
Calls
4 calls:
1.0ms
(cbrt y)
1.0ms
(cbrt y)
164.0ms
(* (* (cbrt y) (* (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)))) (* (cbrt y) (/ (- z t) (- a t))))
59.0ms
(* (cbrt y) (/ (- z t) (- a t)))

series912.0ms

Counts
4 → 12
Calls
4 calls:
257.0ms
(cbrt y)
256.0ms
(cbrt y)
163.0ms
(* (* (cbrt y) (* (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)))) (* (cbrt y) (/ (- z t) (- a t))))
234.0ms
(* (cbrt y) (/ (- z t) (- a t)))

simplify1.8s

Counts
124 → 124
Iterations
IterNodes
done5000
21796
1484
0166

prune799.0ms

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0b

regimes797.0ms

Accuracy

0% (1.5b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations
IterNodes
done12
112
010

end0.0ms

sample1.4s

Algorithm
intervals
Results
756.0ms8718×body80valid
0.0ms1×body1280valid