Details

Time bar (total: 30.7s)

sample58.0ms

Algorithm
intervals
Results
33.0ms314×body80valid
4.0ms7×body1280valid
2.0ms4×body640valid
1.0ms4×body320valid
1.0ms5×body160valid

simplify111.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
111.0ms
(+ (+ (* d1 3) (* d1 d2)) (* d1 d3))

prune20.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize11.0ms

Local error

Found 1 expressions with local error:

0.0b
(* (+ (+ 3 d3) d2) d1)

rewrite67.0ms

Algorithm
rewrite-expression-head
Rules
8×*-un-lft-identity
5×add-sqr-sqrt associate-*l*
3×pow1 add-cbrt-cube associate-*r* add-exp-log add-cube-cbrt distribute-lft-out
2×associate-*l/
1×expm1-log1p-u flip3-+ pow-prod-down prod-exp *-commutative cbrt-unprod flip-+ insert-posit16 log1p-expm1-u add-log-exp unswap-sqr
Counts
1 → 25
Calls
1 calls:
Slowest
67.0ms
(* (+ (+ 3 d3) d2) d1)

series27.0ms

Counts
1 → 3
Calls
1 calls:
Slowest
27.0ms
(* (+ (+ 3 d3) d2) d1)

simplify1.3s

Counts
14 → 28
Calls
14 calls:
Slowest
292.0ms
(* (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2)) d1)
259.0ms
(* (+ (pow (+ 3 d3) 3) (pow d2 3)) d1)
241.0ms
(* (* (* (+ (+ 3 d3) d2) (+ (+ 3 d3) d2)) (+ (+ 3 d3) d2)) (* (* d1 d1) d1))
119.0ms
(+ (* d3 d1) (+ (* d2 d1) (* 3 d1)))
100.0ms
(+ (* d3 d1) (+ (* d2 d1) (* 3 d1)))

prune282.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0b

localize12.0ms

Local error

Found 1 expressions with local error:

0.0b
(* d1 (+ d3 (+ d2 3)))

rewrite55.0ms

Algorithm
rewrite-expression-head
Rules
8×*-un-lft-identity
5×add-sqr-sqrt associate-*r*
3×pow1 add-cbrt-cube associate-*l* add-exp-log add-cube-cbrt distribute-lft-out
2×associate-*r/
1×distribute-rgt-in expm1-log1p-u distribute-lft-in flip3-+ pow-prod-down prod-exp *-commutative cbrt-unprod flip-+ insert-posit16 log1p-expm1-u add-log-exp unswap-sqr
Counts
1 → 27
Calls
1 calls:
Slowest
54.0ms
(* d1 (+ d3 (+ d2 3)))

series50.0ms

Counts
1 → 3
Calls
1 calls:
Slowest
50.0ms
(* d1 (+ d3 (+ d2 3)))

simplify1.3s

Counts
19 → 30
Calls
19 calls:
Slowest
347.0ms
(* (* (* d1 d1) d1) (* (* (+ d3 (+ d2 3)) (+ d3 (+ d2 3))) (+ d3 (+ d2 3))))
220.0ms
(+ (* d3 d3) (- (* (+ d2 3) (+ d2 3)) (* d3 (+ d2 3))))
116.0ms
(+ (* d3 d1) (+ (* d2 d1) (* 3 d1)))
106.0ms
(+ (* d3 d1) (+ (* d2 d1) (* 3 d1)))
99.0ms
(+ (* d3 d1) (+ (* d2 d1) (* 3 d1)))

prune285.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0b

localize39.0ms

Local error

Found 4 expressions with local error:

0.4b
(cbrt (+ d3 (+ d2 3)))
0.4b
(cbrt (+ d3 (+ d2 3)))
0.4b
(cbrt (+ d3 (+ d2 3)))
0.3b
(* (* d1 (* (cbrt (+ d3 (+ d2 3))) (cbrt (+ d3 (+ d2 3))))) (cbrt (+ d3 (+ d2 3))))

rewrite370.0ms

Algorithm
rewrite-expression-head
Rules
60×cbrt-div
32×associate-*r/
30×flip3-+ flip-+
29×*-un-lft-identity
28×frac-times
20×cbrt-prod
14×associate-*l/
13×pow1 add-exp-log
12×distribute-lft-out
9×add-sqr-sqrt add-cube-cbrt
8×add-cbrt-cube associate-*r*
6×pow-prod-down prod-exp cbrt-unprod
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×pow1/3
1×associate-*l* *-commutative
Counts
4 → 109
Calls
4 calls:
Slowest
322.0ms
(* (* d1 (* (cbrt (+ d3 (+ d2 3))) (cbrt (+ d3 (+ d2 3))))) (cbrt (+ d3 (+ d2 3))))
15.0ms
(cbrt (+ d3 (+ d2 3)))
15.0ms
(cbrt (+ d3 (+ d2 3)))
15.0ms
(cbrt (+ d3 (+ d2 3)))

series489.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
151.0ms
(cbrt (+ d3 (+ d2 3)))
147.0ms
(cbrt (+ d3 (+ d2 3)))
136.0ms
(cbrt (+ d3 (+ d2 3)))
55.0ms
(* (* d1 (* (cbrt (+ d3 (+ d2 3))) (cbrt (+ d3 (+ d2 3))))) (cbrt (+ d3 (+ d2 3))))

simplify14.8s

Counts
92 → 121
Calls
92 calls:
Slowest
546.0ms
(* (* (* (* d1 d1) d1) (* (+ d3 (+ d2 3)) (+ d3 (+ d2 3)))) (+ d3 (+ d2 3)))
384.0ms
(* (* (cbrt (- d3 (+ d2 3))) (cbrt (+ (* d3 d3) (- (* (+ d2 3) (+ d2 3)) (* d3 (+ d2 3)))))) (cbrt (- d3 (+ d2 3))))
369.0ms
(* (* (* (* d1 (* (cbrt (+ d3 (+ d2 3))) (cbrt (+ d3 (+ d2 3))))) (* d1 (* (cbrt (+ d3 (+ d2 3))) (cbrt (+ d3 (+ d2 3)))))) (* d1 (* (cbrt (+ d3 (+ d2 3))) (cbrt (+ d3 (+ d2 3)))))) (+ d3 (+ d2 3)))
354.0ms
(* (* (cbrt (+ (* d3 d3) (- (* (+ d2 3) (+ d2 3)) (* d3 (+ d2 3))))) (cbrt (+ (* d3 d3) (- (* (+ d2 3) (+ d2 3)) (* d3 (+ d2 3)))))) (cbrt (+ (* d3 d3) (- (* (+ d2 3) (+ d2 3)) (* d3 (+ d2 3))))))
349.0ms
(* (* (cbrt (- d3 (+ d2 3))) (cbrt (+ (* d3 d3) (- (* (+ d2 3) (+ d2 3)) (* d3 (+ d2 3)))))) (cbrt (+ (* d3 d3) (- (* (+ d2 3) (+ d2 3)) (* d3 (+ d2 3))))))

prune1.3s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

localize33.0ms

Local error

Found 4 expressions with local error:

0.4b
(cbrt (* (cbrt (+ d3 (+ d2 3))) (cbrt (+ d3 (+ d2 3)))))
0.4b
(cbrt (cbrt (+ d3 (+ d2 3))))
0.4b
(cbrt (+ d3 (+ d2 3)))
0.4b
(cbrt (+ d3 (+ d2 3)))

rewrite65.0ms

Algorithm
rewrite-expression-head
Rules
28×cbrt-div
24×cbrt-prod
23×*-un-lft-identity
9×flip3-+ flip-+ distribute-lft-out
8×add-sqr-sqrt add-cube-cbrt
4×expm1-log1p-u frac-times pow1 add-cbrt-cube pow1/3 add-exp-log insert-posit16 log1p-expm1-u add-log-exp
2×associate-*l/ associate-*r/
Counts
4 → 77
Calls
4 calls:
Slowest
40.0ms
(cbrt (* (cbrt (+ d3 (+ d2 3))) (cbrt (+ d3 (+ d2 3)))))
8.0ms
(cbrt (+ d3 (+ d2 3)))
8.0ms
(cbrt (cbrt (+ d3 (+ d2 3))))
8.0ms
(cbrt (+ d3 (+ d2 3)))

series499.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
133.0ms
(cbrt (cbrt (+ d3 (+ d2 3))))
125.0ms
(cbrt (* (cbrt (+ d3 (+ d2 3))) (cbrt (+ d3 (+ d2 3)))))
124.0ms
(cbrt (+ d3 (+ d2 3)))
117.0ms
(cbrt (+ d3 (+ d2 3)))

simplify6.4s

Counts
45 → 89
Calls
45 calls:
Slowest
456.0ms
(cbrt (* (cbrt (- (* d3 d3) (* (+ d2 3) (+ d2 3)))) (cbrt (+ (pow d3 3) (pow (+ d2 3) 3)))))
402.0ms
(cbrt (* (cbrt (+ (pow d3 3) (pow (+ d2 3) 3))) (cbrt (- (* d3 d3) (* (+ d2 3) (+ d2 3))))))
335.0ms
(- (+ (* 2/3 (pow (/ 1 (pow d3 7)) 1/9)) (pow (/ -1 d3) -2/9)) (* 7/9 (pow (/ 1 (pow d3 16)) 1/9)))
323.0ms
(- (+ (/ (exp (* 1/3 (- (log -1) (log (/ -1 d3))))) d3) (exp (* 1/3 (- (log -1) (log (/ -1 d3)))))) (/ (exp (* 1/3 (- (log -1) (log (/ -1 d3))))) (pow d3 2)))
305.0ms
(- (+ (* 1/3 (pow (/ 1 (pow d3 8)) 1/9)) (pow (/ 1 d3) -1/9)) (* 4/9 (pow (/ 1 (pow d3 17)) 1/9)))

prune1.6s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

regimes138.0ms

Accuracy

0% (0.0b remaining)

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

bsearch2.0ms

end0.0ms

sample1.5s

Algorithm
intervals
Results
957.0ms9588×body80valid
68.0ms221×body640valid
36.0ms149×body320valid
35.0ms89×body1280valid
11.0ms66×body160valid