Details

Time bar (total: 26.9s)

sample41.0ms

Algorithm
intervals
Results
24.0ms306×body80valid
3.0ms9×body640valid
2.0ms7×body320valid
0.0ms1×body1280valid
0.0ms3×body160valid

simplify77.0ms

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

prune11.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize9.0ms

Local error

Found 1 expressions with local error:

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

rewrite2.0ms

Algorithm
rewrite-expression-head
Rules
3×associate-*r*
2×add-sqr-sqrt *-un-lft-identity associate-*r/ add-cube-cbrt
1×distribute-rgt-in pow1 distribute-lft-in flip3-+ add-cbrt-cube add-exp-log *-commutative flip-+ insert-posit16 add-log-exp
Calls
1 calls:
Slowest
1.0ms
(* d1 (+ d3 (+ 3 d2)))

series18.0ms

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

simplify493.0ms

Calls
10 calls:
Slowest
219.0ms
(+ (* d3 d3) (- (* (+ 3 d2) (+ 3 d2)) (* d3 (+ 3 d2))))
55.0ms
(+ (* d3 d1) (+ (* d2 d1) (* 3 d1)))
48.0ms
(+ (* d3 d1) (+ (* d2 d1) (* 3 d1)))
46.0ms
(+ (* d3 d1) (+ (* d2 d1) (* 3 d1)))
27.0ms
(sqrt (+ d3 (+ 3 d2)))

prune140.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize11.0ms

Local error

Found 2 expressions with local error:

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

rewrite12.0ms

Algorithm
rewrite-expression-head
Rules
9×add-log-exp
4×sum-log
3×distribute-lft-out
2×add-sqr-sqrt pow1 +-commutative *-un-lft-identity flip3-+ add-cbrt-cube add-exp-log add-cube-cbrt flip-+ insert-posit16
1×associate-+l+
Calls
2 calls:
Slowest
10.0ms
(+ (+ (* d1 3) (* d1 d2)) (* d1 d3))
3.0ms
(+ (* d1 3) (* d1 d2))

series50.0ms

Calls
2 calls:
Slowest
32.0ms
(+ (+ (* d1 3) (* d1 d2)) (* d1 d3))
18.0ms
(+ (* d1 3) (* d1 d2))

simplify873.0ms

Calls
12 calls:
Slowest
325.0ms
(* (* (exp (* d1 3)) (exp (* d1 d2))) (exp (* d1 d3)))
199.0ms
(* (exp (+ (* d1 3) (* d1 d2))) (exp (* d1 d3)))
82.0ms
(* (exp (* d1 3)) (exp (* d1 d2)))
78.0ms
(+ (* d2 d1) (+ (* d3 d1) (* 3 d1)))
58.0ms
(+ (* d2 d1) (+ (* d3 d1) (* 3 d1)))

prune318.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize25.0ms

Local error

Found 4 expressions with local error:

14.8b
(/ (* d1 (- (* d3 d3) (* (+ 3 d2) (+ 3 d2)))) (- d3 (+ 3 d2)))
10.8b
(* d1 (- (* d3 d3) (* (+ 3 d2) (+ 3 d2))))
2.2b
(- (* d3 d3) (* (+ 3 d2) (+ 3 d2)))
0.0b
(* (+ 3 d2) (+ 3 d2))

rewrite21.0ms

Algorithm
rewrite-expression-head
Rules
9×add-sqr-sqrt pow1 *-un-lft-identity add-cube-cbrt
8×add-cbrt-cube add-exp-log
7×associate-*r*
6×flip3-+ associate-*r/ flip-+ add-log-exp
4×distribute-rgt-in frac-times distribute-lft-in flip3-- insert-posit16 flip--
3×associate-/r* sub-neg times-frac associate-*l*
2×associate-*l/ associate-/r/ *-commutative associate--r+ difference-of-squares associate-/l/
1×pow2 cbrt-undiv clear-num frac-2neg pow-plus diff-log div-exp pow-prod-down prod-exp pow-prod-up cbrt-unprod div-inv associate-/l*
Calls
4 calls:
Slowest
8.0ms
(/ (* d1 (- (* d3 d3) (* (+ 3 d2) (+ 3 d2)))) (- d3 (+ 3 d2)))
5.0ms
(* d1 (- (* d3 d3) (* (+ 3 d2) (+ 3 d2))))
4.0ms
(* (+ 3 d2) (+ 3 d2))
2.0ms
(- (* d3 d3) (* (+ 3 d2) (+ 3 d2)))

series172.0ms

Calls
4 calls:
Slowest
75.0ms
(/ (* d1 (- (* d3 d3) (* (+ 3 d2) (+ 3 d2)))) (- d3 (+ 3 d2)))
68.0ms
(* d1 (- (* d3 d3) (* (+ 3 d2) (+ 3 d2))))
22.0ms
(- (* d3 d3) (* (+ 3 d2) (+ 3 d2)))
6.0ms
(* (+ 3 d2) (+ 3 d2))

simplify8.0s

Calls
67 calls:
Slowest
490.0ms
(/ (* (* (* d1 (- (* d3 d3) (* (+ 3 d2) (+ 3 d2)))) (* d1 (- (* d3 d3) (* (+ 3 d2) (+ 3 d2))))) (* d1 (- (* d3 d3) (* (+ 3 d2) (+ 3 d2))))) (* (* (- d3 (+ 3 d2)) (- d3 (+ 3 d2))) (- d3 (+ 3 d2))))
400.0ms
(- (log (* d1 (- (* d3 d3) (* (+ 3 d2) (+ 3 d2))))) (log (- d3 (+ 3 d2))))
341.0ms
(* (+ (* 3 3) (- (* d2 d2) (* 3 d2))) (+ (* 3 3) (- (* d2 d2) (* 3 d2))))
326.0ms
(/ (exp (* d3 d3)) (exp (* (+ 3 d2) (+ 3 d2))))
319.0ms
(/ (- (* d3 d3) (* (+ 3 d2) (+ 3 d2))) (sqrt (- d3 (+ 3 d2))))

prune1.0s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

localize5.0ms

Local error

Found 4 expressions with local error:

22.6b
(/ (- d3 (+ 3 d2)) (- (* d3 d3) (* (+ 3 d2) (+ 3 d2))))
2.2b
(- (* d3 d3) (* (+ 3 d2) (+ 3 d2)))
0.3b
(/ d1 (/ (- d3 (+ 3 d2)) (- (* d3 d3) (* (+ 3 d2) (+ 3 d2)))))
0.0b
(* (+ 3 d2) (+ 3 d2))

rewrite27.0ms

Algorithm
rewrite-expression-head
Rules
24×times-frac
23×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
22×associate-/r*
9×pow1
8×add-cbrt-cube add-exp-log difference-of-squares
6×flip3-+ flip-+ add-log-exp
5×associate-/r/
4×frac-times flip3-- insert-posit16 flip--
3×associate-*r* associate-*l* div-inv associate-/l*
2×distribute-rgt-in clear-num frac-2neg distribute-lft-in associate-*l/ associate-*r/ associate--r+ associate-/l/
1×pow2 cbrt-undiv sub-neg pow-plus diff-log div-sub div-exp pow-prod-down prod-exp *-commutative pow-prod-up cbrt-unprod
Calls
4 calls:
Slowest
9.0ms
(* (+ 3 d2) (+ 3 d2))
7.0ms
(/ (- d3 (+ 3 d2)) (- (* d3 d3) (* (+ 3 d2) (+ 3 d2))))
5.0ms
(- (* d3 d3) (* (+ 3 d2) (+ 3 d2)))
4.0ms
(/ d1 (/ (- d3 (+ 3 d2)) (- (* d3 d3) (* (+ 3 d2) (+ 3 d2)))))

series167.0ms

Calls
4 calls:
Slowest
75.0ms
(/ d1 (/ (- d3 (+ 3 d2)) (- (* d3 d3) (* (+ 3 d2) (+ 3 d2)))))
54.0ms
(/ (- d3 (+ 3 d2)) (- (* d3 d3) (* (+ 3 d2) (+ 3 d2))))
29.0ms
(- (* d3 d3) (* (+ 3 d2) (+ 3 d2)))
9.0ms
(* (+ 3 d2) (+ 3 d2))

simplify12.7s

Calls
98 calls:
Slowest
440.0ms
(+ (* 3 3) (- (* d2 d2) (* 3 d2)))
390.0ms
(/ (exp (* d3 d3)) (exp (* (+ 3 d2) (+ 3 d2))))
347.0ms
(* (+ (* 3 3) (- (* d2 d2) (* 3 d2))) (+ (* 3 3) (- (* d2 d2) (* 3 d2))))
326.0ms
(* (- (* 3 3) (* d2 d2)) (+ (pow 3 3) (pow d2 3)))
285.0ms
(* (- 3 d2) (+ (* 3 3) (- (* d2 d2) (* 3 d2))))

prune1.1s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

regimes142.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.4s

Algorithm
intervals
Results
967.0ms9482×body80valid
109.0ms216×body640valid
41.0ms101×body1280valid
37.0ms152×body320valid
14.0ms91×body160valid