Details

Time bar (total: 44.1s)

sample37.0ms

Algorithm
intervals
Results
15.0ms334×body80valid

simplify3.6s

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
089
1149
2319
3579
4959
51309
61619
71869
83989
910549
1049929
done50009

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 2.3b

localize8.0ms

Local error

Found 1 expressions with local error:

7.7b
(* (/ x y) (- z t))

rewrite60.0ms

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

series91.0ms

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

simplify894.0ms

Counts
45 → 45
Iterations

Useful iterations: 2 (183.0ms)

IterNodesCost
099475
1262466
21193422
done5000422

prune181.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

localize23.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (- z t))
0.6b
(cbrt (- z t))
1.9b
(* (* (* (cbrt (- z t)) (cbrt (- z t))) (/ x y)) (cbrt (- z t)))
6.0b
(* (* (cbrt (- z t)) (cbrt (- z t))) (/ x y))

rewrite416.0ms

Algorithm
rewrite-expression-head
Rules
136×cbrt-div
98×frac-times
68×flip3-- flip--
65×associate-*l/
34×add-exp-log
24×add-sqr-sqrt
22×associate-*r/
21×*-un-lft-identity associate-*r* add-cbrt-cube
18×pow1
17×prod-exp cbrt-unprod
15×cbrt-prod add-cube-cbrt
10×times-frac
9×pow-prod-down
4×cbrt-undiv div-exp add-log-exp
3×distribute-lft-out-- difference-of-squares
2×pow1/3 associate-*l* *-commutative unswap-sqr
1×div-inv
Counts
4 → 164
Calls
4 calls:
8.0ms
(cbrt (- z t))
8.0ms
(cbrt (- z t))
297.0ms
(* (* (* (cbrt (- z t)) (cbrt (- z t))) (/ x y)) (cbrt (- z t)))
86.0ms
(* (* (cbrt (- z t)) (cbrt (- z t))) (/ x y))

series681.0ms

Counts
4 → 12
Calls
4 calls:
189.0ms
(cbrt (- z t))
220.0ms
(cbrt (- z t))
83.0ms
(* (* (* (cbrt (- z t)) (cbrt (- z t))) (/ x y)) (cbrt (- z t)))
188.0ms
(* (* (cbrt (- z t)) (cbrt (- z t))) (/ x y))

simplify2.3s

Counts
176 → 176
Iterations

Useful iterations: done (2.3s)

IterNodesCost
02994244
18344082
243223792
done50013467

prune625.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize44.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (- z t))
0.6b
(cbrt (* (cbrt (- z t)) (cbrt (- z t))))
1.9b
(* (* (* (cbrt (- z t)) (* (cbrt (* (cbrt (- z t)) (cbrt (- z t)))) (cbrt (cbrt (- z t))))) (/ x y)) (cbrt (- z t)))
6.0b
(* (* (cbrt (- z t)) (* (cbrt (* (cbrt (- z t)) (cbrt (- z t)))) (cbrt (cbrt (- z t))))) (/ x y))

rewrite1.7s

Algorithm
rewrite-expression-head
Rules
3082×cbrt-div
1734×frac-times
1033×flip3-- flip--
835×associate-*l/
408×associate-*r/
54×add-exp-log
31×prod-exp add-cbrt-cube cbrt-unprod
27×pow1
21×associate-*r*
18×add-sqr-sqrt *-un-lft-identity
16×pow-prod-down
14×add-cube-cbrt
11×cbrt-prod
9×times-frac
6×cbrt-undiv div-exp
4×add-log-exp
2×pow1/3 associate-*l* *-commutative distribute-lft-out-- difference-of-squares
1×div-inv
Counts
4 → 750
Calls
4 calls:
6.0ms
(cbrt (- z t))
16.0ms
(cbrt (* (cbrt (- z t)) (cbrt (- z t))))
1.0s
(* (* (* (cbrt (- z t)) (* (cbrt (* (cbrt (- z t)) (cbrt (- z t)))) (cbrt (cbrt (- z t))))) (/ x y)) (cbrt (- z t)))
365.0ms
(* (* (cbrt (- z t)) (* (cbrt (* (cbrt (- z t)) (cbrt (- z t)))) (cbrt (cbrt (- z t))))) (/ x y))

series692.0ms

Counts
4 → 12
Calls
4 calls:
204.0ms
(cbrt (- z t))
216.0ms
(cbrt (* (cbrt (- z t)) (cbrt (- z t))))
79.0ms
(* (* (* (cbrt (- z t)) (* (cbrt (* (cbrt (- z t)) (cbrt (- z t)))) (cbrt (cbrt (- z t))))) (/ x y)) (cbrt (- z t)))
193.0ms
(* (* (cbrt (- z t)) (* (cbrt (* (cbrt (- z t)) (cbrt (- z t)))) (cbrt (cbrt (- z t))))) (/ x y))

simplify1.8s

Counts
762 → 762
Iterations

Useful iterations: done (1.7s)

IterNodesCost
0133742746
1378041268
done500040676

prune5.4s

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.0b

localize51.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt x)
0.6b
(cbrt x)
1.9b
(* (* (* (* (cbrt (- z t)) (* (cbrt (* (cbrt (- z t)) (cbrt (- z t)))) (cbrt (cbrt (- z t))))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (/ (cbrt x) (cbrt y))) (cbrt (- z t)))
2.0b
(* (* (cbrt (- z t)) (* (cbrt (* (cbrt (- z t)) (cbrt (- z t)))) (cbrt (cbrt (- z t))))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))))

rewrite4.8s

Algorithm
rewrite-expression-head
Rules
5436×cbrt-div
3593×frac-times
1982×associate-*l/
1836×flip3-- flip--
712×associate-*r/
295×add-exp-log
191×prod-exp cbrt-unprod
98×add-cbrt-cube
52×cbrt-undiv div-exp
33×pow1
21×pow-prod-down
13×associate-*r*
11×cbrt-prod add-sqr-sqrt *-un-lft-identity
9×add-cube-cbrt
4×add-log-exp
2×pow1/3 associate-*l* *-commutative
1×times-frac div-inv distribute-lft-out-- difference-of-squares
Counts
4 → 1289
Calls
4 calls:
1.0ms
(cbrt x)
2.0ms
(cbrt x)
4.1s
(* (* (* (* (cbrt (- z t)) (* (cbrt (* (cbrt (- z t)) (cbrt (- z t)))) (cbrt (cbrt (- z t))))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (/ (cbrt x) (cbrt y))) (cbrt (- z t)))
366.0ms
(* (* (cbrt (- z t)) (* (cbrt (* (cbrt (- z t)) (cbrt (- z t)))) (cbrt (cbrt (- z t))))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))))

series788.0ms

Counts
4 → 12
Calls
4 calls:
201.0ms
(cbrt x)
254.0ms
(cbrt x)
63.0ms
(* (* (* (* (cbrt (- z t)) (* (cbrt (* (cbrt (- z t)) (cbrt (- z t)))) (cbrt (cbrt (- z t))))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (/ (cbrt x) (cbrt y))) (cbrt (- z t)))
270.0ms
(* (* (cbrt (- z t)) (* (cbrt (* (cbrt (- z t)) (cbrt (- z t)))) (cbrt (cbrt (- z t))))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))))

simplify1.2s

Counts
1301 → 1301
Iterations

Useful iterations: done (1.1s)

IterNodesCost
0261593130
done500090278

prune17.1s

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0.0b

regimes275.0ms

Accuracy

0% (1.5b remaining)

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

bsearch0.0ms

simplify6.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02146
12746
done2746

end0.0ms

sample1.2s

Algorithm
intervals
Results
538.0ms10732×body80valid