Details

Time bar (total: 48.4s)

sample57.0ms

Algorithm
intervals
Results
38.0ms302×body80valid
3.0ms8×body640valid
2.0ms3×body1280valid
1.0ms5×body320valid
1.0ms3×body160valid

simplify105.0ms

Calls
1 calls:
Slowest
105.0ms
(+ (+ (* d1 3) (* d1 d2)) (* d1 d3))

prune17.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize18.0ms

Local error

Found 1 expressions with local error:

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

rewrite101.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
Calls
1 calls:
Slowest
101.0ms
(* (+ (+ 3 d3) d2) d1)

series30.0ms

Calls
1 calls:
Slowest
30.0ms
(* (+ (+ 3 d3) d2) d1)

simplify1.2s

Calls
14 calls:
Slowest
297.0ms
(* (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2)) d1)
255.0ms
(* (* (* (+ (+ 3 d3) d2) (+ (+ 3 d3) d2)) (+ (+ 3 d3) d2)) (* (* d1 d1) d1))
243.0ms
(* (+ (pow (+ 3 d3) 3) (pow d2 3)) d1)
82.0ms
(+ (* d3 d1) (+ (* d2 d1) (* 3 d1)))
77.0ms
(+ (* d3 d1) (+ (* d2 d1) (* 3 d1)))

prune258.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize24.0ms

Local error

Found 4 expressions with local error:

13.6b
(/ (* (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2)) d1) (- (+ 3 d3) d2))
8.1b
(* (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2)) d1)
2.8b
(- (* (+ 3 d3) (+ 3 d3)) (* d2 d2))
0.0b
(* (+ 3 d3) (+ 3 d3))

rewrite219.0ms

Algorithm
rewrite-expression-head
Rules
36×*-un-lft-identity
20×add-sqr-sqrt
13×pow1 add-cbrt-cube add-exp-log
12×add-cube-cbrt
8×associate-*l* distribute-lft-out
7×associate-*r*
6×associate-/r* flip3-+ times-frac swap-sqr associate-*l/ flip-+ add-log-exp
4×expm1-log1p-u frac-times flip3-- insert-posit16 log1p-expm1-u flip-- distribute-lft-out-- difference-of-squares
3×prod-exp cbrt-unprod
2×distribute-rgt-in cbrt-undiv distribute-lft-in div-exp pow-prod-down associate--l+ associate-*r/ associate-/r/ *-commutative unswap-sqr associate-/l/
1×pow2 clear-num sub-neg frac-2neg pow-plus fma-neg diff-log prod-diff pow-sqr pow-prod-up div-inv associate-/l*
Calls
4 calls:
Slowest
80.0ms
(* (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2)) d1)
76.0ms
(/ (* (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2)) d1) (- (+ 3 d3) d2))
42.0ms
(* (+ 3 d3) (+ 3 d3))
17.0ms
(- (* (+ 3 d3) (+ 3 d3)) (* d2 d2))

series231.0ms

Calls
4 calls:
Slowest
96.0ms
(/ (* (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2)) d1) (- (+ 3 d3) d2))
69.0ms
(* (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2)) d1)
53.0ms
(- (* (+ 3 d3) (+ 3 d3)) (* d2 d2))
13.0ms
(* (+ 3 d3) (+ 3 d3))

simplify11.7s

Calls
101 calls:
Slowest
784.0ms
(/ (* (* (* (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2)) d1) (* (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2)) d1)) (* (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2)) d1)) (* (* (- (+ 3 d3) d2) (- (+ 3 d3) d2)) (- (+ 3 d3) d2)))
528.0ms
(/ (* (* (* (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2)) (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2))) (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2))) (* (* d1 d1) d1)) (* (* (- (+ 3 d3) d2) (- (+ 3 d3) d2)) (- (+ 3 d3) d2)))
482.0ms
(* (- (* 3 3) (* d3 d3)) (+ (pow 3 3) (pow d3 3)))
425.0ms
(* (+ (* 3 3) (- (* d3 d3) (* 3 d3))) (- 3 d3))
425.0ms
(* (- (* 3 3) (* d3 d3)) (+ 3 d3))

prune1.3s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize18.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (sqrt (+ (+ 3 d3) d2)) (* (sqrt (+ (+ 3 d3) d2)) d1))
0.2b
(* (sqrt (+ (+ 3 d3) d2)) d1)
0.0b
(sqrt (+ (+ 3 d3) d2))
0.0b
(sqrt (+ (+ 3 d3) d2))

rewrite265.0ms

Algorithm
rewrite-expression-head
Rules
31×*-un-lft-identity
21×add-sqr-sqrt sqrt-prod
18×sqrt-div
16×associate-*l*
13×pow1
12×distribute-lft-out
11×add-cbrt-cube add-exp-log add-cube-cbrt
10×associate-*l/
9×flip3-+ flip-+
4×expm1-log1p-u frac-times associate-*r* pow-prod-down prod-exp cbrt-unprod insert-posit16 log1p-expm1-u add-log-exp
2×rem-sqrt-square sqrt-pow1 pow1/2 associate-*r/ *-commutative hypot-def unswap-sqr
Calls
4 calls:
Slowest
145.0ms
(* (sqrt (+ (+ 3 d3) d2)) (* (sqrt (+ (+ 3 d3) d2)) d1))
65.0ms
(* (sqrt (+ (+ 3 d3) d2)) d1)
26.0ms
(sqrt (+ (+ 3 d3) d2))
26.0ms
(sqrt (+ (+ 3 d3) d2))

series298.0ms

Calls
4 calls:
Slowest
126.0ms
(* (sqrt (+ (+ 3 d3) d2)) d1)
67.0ms
(sqrt (+ (+ 3 d3) d2))
56.0ms
(sqrt (+ (+ 3 d3) d2))
50.0ms
(* (sqrt (+ (+ 3 d3) d2)) (* (sqrt (+ (+ 3 d3) d2)) d1))

simplify6.2s

Calls
75 calls:
Slowest
465.0ms
(* (sqrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2))) (* (sqrt (+ (pow (+ 3 d3) 3) (pow d2 3))) d1))
444.0ms
(* (sqrt (+ (pow (+ 3 d3) 3) (pow d2 3))) (* (sqrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2))) d1))
332.0ms
(* (* (* (sqrt (+ (+ 3 d3) d2)) (sqrt (+ (+ 3 d3) d2))) (sqrt (+ (+ 3 d3) d2))) (* (* d1 d1) d1))
315.0ms
(+ (* (sqrt 3) d1) (+ (* 1/2 (* d3 (* (sqrt 1/3) d1))) (* 1/2 (/ (* d2 d1) (sqrt 3)))))
294.0ms
(* (sqrt (- (+ 3 d3) d2)) (sqrt (+ (* (+ 3 d3) (+ 3 d3)) (- (* d2 d2) (* (+ 3 d3) d2)))))

prune1.2s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize59.0ms

Local error

Found 4 expressions with local error:

18.6b
(cbrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2)))
18.6b
(cbrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2)))
18.6b
(cbrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2)))
13.6b
(/ (* (* (cbrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2))) (cbrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2)))) (* (cbrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2))) d1)) (- (+ 3 d3) d2))

rewrite415.0ms

Algorithm
rewrite-expression-head
Rules
60×cbrt-div
32×associate-*l/
31×flip3-- flip--
28×frac-times
26×associate-/l/
22×add-exp-log
19×*-un-lft-identity
16×add-cbrt-cube
13×add-sqr-sqrt
12×cbrt-prod
9×add-cube-cbrt
8×prod-exp associate-*r/ cbrt-unprod
6×associate-/r* times-frac
5×cbrt-undiv div-exp difference-of-squares
4×expm1-log1p-u pow1 insert-posit16 log1p-expm1-u distribute-lft-out-- add-log-exp
3×pow1/3
2×associate-/r/ distribute-lft-out
1×clear-num frac-2neg div-inv associate-/l*
Calls
4 calls:
Slowest
330.0ms
(/ (* (* (cbrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2))) (cbrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2)))) (* (cbrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2))) d1)) (- (+ 3 d3) d2))
31.0ms
(cbrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2)))
25.0ms
(cbrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2)))
24.0ms
(cbrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2)))

series503.0ms

Calls
4 calls:
Slowest
137.0ms
(cbrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2)))
134.0ms
(cbrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2)))
123.0ms
(cbrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2)))
109.0ms
(/ (* (* (cbrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2))) (cbrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2)))) (* (cbrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2))) d1)) (- (+ 3 d3) d2))

simplify21.1s

Calls
87 calls:
Slowest
1.2s
(/ (* (* (* (* (cbrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2))) (cbrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2)))) (* (cbrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2))) d1)) (* (* (cbrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2))) (cbrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2)))) (* (cbrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2))) d1))) (* (* (cbrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2))) (cbrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2)))) (* (cbrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2))) d1))) (* (* (- (+ 3 d3) d2) (- (+ 3 d3) d2)) (- (+ 3 d3) d2)))
921.0ms
(- (+ (+ (log (cbrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2)))) (log (cbrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2))))) (log (* (cbrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2))) d1))) (log (- (+ 3 d3) d2)))
894.0ms
(/ (* (* (* (* (cbrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2))) (cbrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2)))) (* (cbrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2))) (cbrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2))))) (* (cbrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2))) (cbrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2))))) (* (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2)) (* (* d1 d1) d1))) (* (* (- (+ 3 d3) d2) (- (+ 3 d3) d2)) (- (+ 3 d3) d2)))
878.0ms
(/ (* (* (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2)) (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2))) (* (* (* (cbrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2))) d1) (* (cbrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2))) d1)) (* (cbrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2))) d1))) (* (* (- (+ 3 d3) d2) (- (+ 3 d3) d2)) (- (+ 3 d3) d2)))
655.0ms
(/ (* (* (* (* (cbrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2))) (cbrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2)))) (* (cbrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2))) (cbrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2))))) (* (cbrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2))) (cbrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2))))) (* (* (* (cbrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2))) d1) (* (cbrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2))) d1)) (* (cbrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2))) d1))) (* (* (- (+ 3 d3) d2) (- (+ 3 d3) d2)) (- (+ 3 d3) d2)))

prune1.7s

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

regimes154.0ms

Accuracy

0% (0.1b remaining)

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

bsearch2.0ms

end0.0ms

sample1.3s

Algorithm
intervals
Results
890.0ms9513×body80valid
96.0ms202×body640valid
35.0ms154×body320valid
34.0ms83×body1280valid
17.0ms87×body160valid