Details

Time bar (total: 38.1s)

sample60.0ms

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

simplify139.0ms

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

prune18.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize15.0ms

Local error

Found 1 expressions with local error:

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

rewrite71.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
70.0ms
(* (+ (+ 3 d3) d2) d1)

series28.0ms

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

simplify1.3s

Counts
14 → 28
Calls
14 calls:
Slowest
292.0ms
(* (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2)) d1)
265.0ms
(* (* (* (+ (+ 3 d3) d2) (+ (+ 3 d3) d2)) (+ (+ 3 d3) d2)) (* (* d1 d1) d1))
237.0ms
(* (+ (pow (+ 3 d3) 3) (pow d2 3)) d1)
119.0ms
(+ (* d3 d1) (+ (* d2 d1) (* 3 d1)))
92.0ms
(+ (* d3 d1) (+ (* d2 d1) (* 3 d1)))

prune261.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0b

localize9.0ms

Local error

Found 1 expressions with local error:

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

rewrite82.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
82.0ms
(* d1 (+ (+ 3 d3) d2))

series42.0ms

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

simplify1.3s

Counts
19 → 30
Calls
19 calls:
Slowest
381.0ms
(* (* (* d1 d1) d1) (* (* (+ (+ 3 d3) d2) (+ (+ 3 d3) d2)) (+ (+ 3 d3) d2)))
263.0ms
(+ (* (+ 3 d3) (+ 3 d3)) (- (* d2 d2) (* (+ 3 d3) d2)))
126.0ms
(+ (* d3 d1) (+ (* d2 d1) (* 3 d1)))
103.0ms
(+ (* d3 d1) (+ (* d2 d1) (* 3 d1)))
92.0ms
(+ (* d3 d1) (+ (* d2 d1) (* 3 d1)))

prune270.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0b

localize17.0ms

Local error

Found 4 expressions with local error:

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

rewrite474.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
417.0ms
(* (* d1 (* (cbrt (+ (+ 3 d3) d2)) (cbrt (+ (+ 3 d3) d2)))) (cbrt (+ (+ 3 d3) d2)))
24.0ms
(cbrt (+ (+ 3 d3) d2))
19.0ms
(cbrt (+ (+ 3 d3) d2))
11.0ms
(cbrt (+ (+ 3 d3) d2))

series436.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
138.0ms
(cbrt (+ (+ 3 d3) d2))
136.0ms
(cbrt (+ (+ 3 d3) d2))
121.0ms
(cbrt (+ (+ 3 d3) d2))
40.0ms
(* (* d1 (* (cbrt (+ (+ 3 d3) d2)) (cbrt (+ (+ 3 d3) d2)))) (cbrt (+ (+ 3 d3) d2)))

simplify15.8s

Counts
92 → 121
Calls
92 calls:
Slowest
527.0ms
(- (+ (pow (/ 1 (pow d3 2)) 1/3) (pow (/ 1 d3) -1/3)) (pow (/ 1 (pow d3 5)) 1/3))
490.0ms
(* (* d1 (* (cbrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2))) (cbrt (+ (pow (+ 3 d3) 3) (pow d2 3))))) (cbrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2))))
489.0ms
(* (* d1 (* (cbrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2))) (cbrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2))))) (cbrt (+ (pow (+ 3 d3) 3) (pow d2 3))))
481.0ms
(* (* (* (* d1 d1) d1) (* (+ (+ 3 d3) d2) (+ (+ 3 d3) d2))) (+ (+ 3 d3) d2))
478.0ms
(* (* d1 (* (cbrt (+ (pow (+ 3 d3) 3) (pow d2 3))) (cbrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2))))) (cbrt (+ (pow (+ 3 d3) 3) (pow d2 3))))

prune1.4s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

localize38.0ms

Local error

Found 4 expressions with local error:

15.4b
(/ (* d1 (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2))) (- 3 (- d2 d3)))
7.9b
(* d1 (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2)))
2.1b
(- (* (+ 3 d3) (+ 3 d3)) (* d2 d2))
0.0b
(* (+ 3 d3) (+ 3 d3))

rewrite178.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
9×distribute-rgt-in distribute-lft-in
8×associate-*r*
7×associate-*l*
6×associate-/r* flip3-+ times-frac swap-sqr associate--l+ associate-*r/ flip-+ distribute-lft-out distribute-lft-out-- add-log-exp
4×expm1-log1p-u frac-times flip3-- insert-posit16 log1p-expm1-u flip-- difference-of-squares
3×sub-neg prod-diff prod-exp cbrt-unprod
2×cbrt-undiv div-exp pow-prod-down associate-*l/ associate-/r/ *-commutative unswap-sqr associate-/l/
1×pow2 clear-num frac-2neg pow-plus fma-neg diff-log pow-sqr pow-prod-up div-inv associate-/l*
Counts
4 → 131
Calls
4 calls:
Slowest
56.0ms
(* d1 (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2)))
49.0ms
(/ (* d1 (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2))) (- 3 (- d2 d3)))
41.0ms
(* (+ 3 d3) (+ 3 d3))
30.0ms
(- (* (+ 3 d3) (+ 3 d3)) (* d2 d2))

series314.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
128.0ms
(/ (* d1 (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2))) (- 3 (- d2 d3)))
113.0ms
(* d1 (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2)))
50.0ms
(- (* (+ 3 d3) (+ 3 d3)) (* d2 d2))
22.0ms
(* (+ 3 d3) (+ 3 d3))

simplify13.0s

Counts
111 → 143
Calls
111 calls:
Slowest
723.0ms
(/ (* (* (* d1 (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2))) (* d1 (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2)))) (* d1 (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2)))) (* (* (- 3 (- d2 d3)) (- 3 (- d2 d3))) (- 3 (- d2 d3))))
646.0ms
(/ (* (* (* d1 d1) d1) (* (* (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2)) (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2))) (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2)))) (* (* (- 3 (- d2 d3)) (- 3 (- d2 d3))) (- 3 (- d2 d3))))
493.0ms
(* (- (* 3 3) (* d3 d3)) (+ 3 d3))
431.0ms
(* (- (* 3 3) (* d3 d3)) (+ (pow 3 3) (pow d3 3)))
407.0ms
(* (+ (* 3 3) (- (* d3 d3) (* 3 d3))) (- 3 d3))

prune1.5s

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0b

regimes169.0ms

Accuracy

0% (0.1b remaining)

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

bsearch1.0ms

end0.0ms

sample1.2s

Algorithm
intervals
Results
791.0ms9588×body80valid
59.0ms221×body640valid
32.0ms149×body320valid
31.0ms89×body1280valid
8.0ms66×body160valid