Details

Time bar (total: 11.0s)

sample42.0ms

Algorithm
intervals
Results
17.0ms367×body80valid

simplify831.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01717
13217
26917
312617
420117
528417
638917
752617
863017
963817
done63817

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ (* a b) 4.0)
0.0b
(+ (* x y) (/ (* z t) 16.0))
0.0b
(+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)
0.0b
(- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))

rewrite316.0ms

Algorithm
rewrite-expression-head
Rules
20×add-log-exp
13×*-un-lft-identity
9×add-exp-log add-cbrt-cube
8×add-sqr-sqrt
6×add-cube-cbrt sum-log
4×pow1 diff-log
3×associate-+l+ flip3-+ times-frac associate-/r* flip-+
2×cbrt-undiv +-commutative sub-neg div-exp associate--l+ frac-sub distribute-lft-out distribute-lft-out--
1×associate-+l- flip3-- frac-2neg prod-exp clear-num flip-- cbrt-unprod div-inv associate-/l* difference-of-squares
Counts
4 → 69
Calls
4 calls:
9.0ms
(/ (* a b) 4.0)
11.0ms
(+ (* x y) (/ (* z t) 16.0))
226.0ms
(+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)
67.0ms
(- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))

series322.0ms

Counts
4 → 12
Calls
4 calls:
20.0ms
(/ (* a b) 4.0)
48.0ms
(+ (* x y) (/ (* z t) 16.0))
158.0ms
(+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)
95.0ms
(- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))

simplify607.0ms

Counts
81 → 81
Iterations

Useful iterations: done (604.0ms)

IterNodesCost
01411389
13701288
213371232
done50011204

prune233.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize20.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (cbrt (+ (* x y) (/ (* z t) 16.0))) (cbrt (+ (* x y) (/ (* z t) 16.0))))
3.0b
(cbrt (+ (* x y) (/ (* z t) 16.0)))
3.0b
(cbrt (+ (* x y) (/ (* z t) 16.0)))
3.0b
(cbrt (+ (* x y) (/ (* z t) 16.0)))

rewrite94.0ms

Algorithm
rewrite-expression-head
Rules
25×cbrt-prod
23×add-sqr-sqrt
18×cbrt-div
15×add-cube-cbrt *-un-lft-identity
11×pow1
9×flip3-+ pow1/3 flip-+
6×add-exp-log swap-sqr associate-*r* associate-*l*
4×frac-times add-cbrt-cube add-log-exp unswap-sqr
2×associate-*r/ pow-prod-down associate-*l/ pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 87
Calls
4 calls:
67.0ms
(* (cbrt (+ (* x y) (/ (* z t) 16.0))) (cbrt (+ (* x y) (/ (* z t) 16.0))))
9.0ms
(cbrt (+ (* x y) (/ (* z t) 16.0)))
7.0ms
(cbrt (+ (* x y) (/ (* z t) 16.0)))
8.0ms
(cbrt (+ (* x y) (/ (* z t) 16.0)))

series551.0ms

Counts
4 → 12
Calls
4 calls:
153.0ms
(* (cbrt (+ (* x y) (/ (* z t) 16.0))) (cbrt (+ (* x y) (/ (* z t) 16.0))))
128.0ms
(cbrt (+ (* x y) (/ (* z t) 16.0)))
135.0ms
(cbrt (+ (* x y) (/ (* z t) 16.0)))
135.0ms
(cbrt (+ (* x y) (/ (* z t) 16.0)))

simplify1.2s

Counts
99 → 99
Iterations

Useful iterations: done (1.2s)

IterNodesCost
01382452
13282275
28972123
324471918
done50011842

prune389.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize30.0ms

Local error

Found 4 expressions with local error:

3.0b
(cbrt (+ (* x y) (/ (* z t) 16.0)))
15.8b
(/ (* (cbrt (- (* (* x y) (* x y)) (/ (/ (pow (* z t) 2) 16.0) 16.0))) (cbrt (- (* (* x y) (* x y)) (/ (/ (pow (* z t) 2) 16.0) 16.0)))) (* (cbrt (- (* x y) (/ (* z t) 16.0))) (cbrt (- (* x y) (/ (* z t) 16.0)))))
29.6b
(cbrt (- (* (* x y) (* x y)) (/ (/ (pow (* z t) 2) 16.0) 16.0)))
29.6b
(cbrt (- (* (* x y) (* x y)) (/ (/ (pow (* z t) 2) 16.0) 16.0)))

rewrite277.0ms

Algorithm
rewrite-expression-head
Rules
30×cbrt-div
27×add-sqr-sqrt
19×cbrt-prod
16×add-exp-log
15×times-frac
14×flip3-- flip--
10×difference-of-squares
8×frac-times associate-/r/ add-cbrt-cube associate-/l/
7×add-cube-cbrt *-un-lft-identity
4×pow1 cbrt-undiv associate-*r/ div-exp associate-*l/ prod-exp cbrt-unprod add-log-exp
3×pow1/3
2×unpow2 sqr-pow
1×frac-2neg flip3-+ clear-num associate-/r* flip-+ div-inv associate-/l*
Counts
4 → 86
Calls
4 calls:
8.0ms
(cbrt (+ (* x y) (/ (* z t) 16.0)))
166.0ms
(/ (* (cbrt (- (* (* x y) (* x y)) (/ (/ (pow (* z t) 2) 16.0) 16.0))) (cbrt (- (* (* x y) (* x y)) (/ (/ (pow (* z t) 2) 16.0) 16.0)))) (* (cbrt (- (* x y) (/ (* z t) 16.0))) (cbrt (- (* x y) (/ (* z t) 16.0)))))
49.0ms
(cbrt (- (* (* x y) (* x y)) (/ (/ (pow (* z t) 2) 16.0) 16.0)))
51.0ms
(cbrt (- (* (* x y) (* x y)) (/ (/ (pow (* z t) 2) 16.0) 16.0)))

series614.0ms

Counts
4 → 12
Calls
4 calls:
134.0ms
(cbrt (+ (* x y) (/ (* z t) 16.0)))
208.0ms
(/ (* (cbrt (- (* (* x y) (* x y)) (/ (/ (pow (* z t) 2) 16.0) 16.0))) (cbrt (- (* (* x y) (* x y)) (/ (/ (pow (* z t) 2) 16.0) 16.0)))) (* (cbrt (- (* x y) (/ (* z t) 16.0))) (cbrt (- (* x y) (/ (* z t) 16.0)))))
135.0ms
(cbrt (- (* (* x y) (* x y)) (/ (/ (pow (* z t) 2) 16.0) 16.0)))
137.0ms
(cbrt (- (* (* x y) (* x y)) (/ (/ (pow (* z t) 2) 16.0) 16.0)))

simplify805.0ms

Counts
98 → 98
Iterations

Useful iterations: done (801.0ms)

IterNodesCost
02294431
15984115
217523457
done50003201

prune612.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

localize29.0ms

Local error

Found 4 expressions with local error:

15.8b
(/ (* (cbrt (- (* (* x y) (* x y)) (/ (/ (pow (* z t) 2) 16.0) 16.0))) (cbrt (- (* (* x y) (* x y)) (/ (/ (pow (* z t) 2) 16.0) 16.0)))) (* (cbrt (- (* x y) (/ (* z t) 16.0))) (cbrt (- (* x y) (/ (* z t) 16.0)))))
29.6b
(cbrt (- (* (* x y) (* x y)) (/ (/ (pow (* z t) 2) 16.0) 16.0)))
29.6b
(cbrt (- (* (* x y) (* x y)) (/ (/ (pow (* z t) 2) 16.0) 16.0)))
29.6b
(cbrt (- (* (* x y) (* x y)) (/ (/ (pow (* z t) 2) 16.0) 16.0)))

rewrite315.0ms

Algorithm
rewrite-expression-head
Rules
37×add-sqr-sqrt
30×cbrt-div
24×cbrt-prod
22×times-frac
16×add-exp-log
15×flip3-- flip-- difference-of-squares
8×frac-times associate-/r/ add-cbrt-cube associate-/l/
7×add-cube-cbrt *-un-lft-identity
4×pow1 cbrt-undiv associate-*r/ div-exp associate-*l/ prod-exp cbrt-unprod add-log-exp
3×pow1/3 unpow2 sqr-pow
1×frac-2neg clear-num associate-/r* div-inv associate-/l*
Counts
4 → 91
Calls
4 calls:
165.0ms
(/ (* (cbrt (- (* (* x y) (* x y)) (/ (/ (pow (* z t) 2) 16.0) 16.0))) (cbrt (- (* (* x y) (* x y)) (/ (/ (pow (* z t) 2) 16.0) 16.0)))) (* (cbrt (- (* x y) (/ (* z t) 16.0))) (cbrt (- (* x y) (/ (* z t) 16.0)))))
48.0ms
(cbrt (- (* (* x y) (* x y)) (/ (/ (pow (* z t) 2) 16.0) 16.0)))
48.0ms
(cbrt (- (* (* x y) (* x y)) (/ (/ (pow (* z t) 2) 16.0) 16.0)))
50.0ms
(cbrt (- (* (* x y) (* x y)) (/ (/ (pow (* z t) 2) 16.0) 16.0)))

series627.0ms

Counts
4 → 12
Calls
4 calls:
210.0ms
(/ (* (cbrt (- (* (* x y) (* x y)) (/ (/ (pow (* z t) 2) 16.0) 16.0))) (cbrt (- (* (* x y) (* x y)) (/ (/ (pow (* z t) 2) 16.0) 16.0)))) (* (cbrt (- (* x y) (/ (* z t) 16.0))) (cbrt (- (* x y) (/ (* z t) 16.0)))))
133.0ms
(cbrt (- (* (* x y) (* x y)) (/ (/ (pow (* z t) 2) 16.0) 16.0)))
138.0ms
(cbrt (- (* (* x y) (* x y)) (/ (/ (pow (* z t) 2) 16.0) 16.0)))
145.0ms
(cbrt (- (* (* x y) (* x y)) (/ (/ (pow (* z t) 2) 16.0) 16.0)))

simplify835.0ms

Counts
103 → 103
Iterations

Useful iterations: done (830.0ms)

IterNodesCost
01904766
15034432
215103706
done50003437

prune608.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0.0b

regimes444.0ms

Accuracy

0% (0.0b remaining)

Error of 0.1b against oracle of 0.1b and baseline of 0.1b

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01717
12217
done2217

end0.0ms

sample1.1s

Algorithm
intervals
Results
478.0ms11924×body80valid