Details

Time bar (total: 26.5s)

sample42.0ms

Algorithm
intervals
Results
24.0ms297×body80valid
3.0ms8×body640valid
1.0ms4×body1280valid
1.0ms4×body160valid
0.0ms2×body320valid

simplify69.0ms

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

prune12.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)))

series36.0ms

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

simplify543.0ms

Calls
10 calls:
Slowest
213.0ms
(+ (* d3 d3) (- (* (+ 3 d2) (+ 3 d2)) (* d3 (+ 3 d2))))
80.0ms
(+ (* d3 d1) (+ (* d2 d1) (* 3 d1)))
65.0ms
(+ (* d3 d1) (+ (* d2 d1) (* 3 d1)))
51.0ms
(+ (* d3 d1) (+ (* d2 d1) (* 3 d1)))
35.0ms
(- d3 (+ 3 d2))

prune184.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.0b

localize16.0ms

Local error

Found 2 expressions with local error:

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

rewrite16.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
13.0ms
(+ (+ (* d1 3) (* d1 d2)) (* d1 d3))
3.0ms
(+ (* d1 3) (* d1 d2))

series125.0ms

Calls
2 calls:
Slowest
63.0ms
(+ (* d1 3) (* d1 d2))
62.0ms
(+ (+ (* d1 3) (* d1 d2)) (* d1 d3))

simplify846.0ms

Calls
12 calls:
Slowest
333.0ms
(* (* (exp (* d1 3)) (exp (* d1 d2))) (exp (* d1 d3)))
222.0ms
(* (exp (+ (* d1 3) (* d1 d2))) (exp (* d1 d3)))
80.0ms
(* (exp (* d1 3)) (exp (* d1 d2)))
61.0ms
(+ (* d2 d1) (+ (* d3 d1) (* 3 d1)))
55.0ms
(+ (* d2 d1) (+ (* d3 d1) (* 3 d1)))

prune286.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize15.0ms

Local error

Found 4 expressions with local error:

14.5b
(/ (* d1 (- (* d3 d3) (* (+ 3 d2) (+ 3 d2)))) (- d3 (+ 3 d2)))
8.9b
(* d1 (- (* d3 d3) (* (+ 3 d2) (+ 3 d2))))
2.5b
(- (* d3 d3) (* (+ 3 d2) (+ 3 d2)))
0.0b
(* (+ 3 d2) (+ 3 d2))

rewrite30.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
9.0ms
(* (+ 3 d2) (+ 3 d2))
9.0ms
(/ (* d1 (- (* d3 d3) (* (+ 3 d2) (+ 3 d2)))) (- d3 (+ 3 d2)))
5.0ms
(* d1 (- (* d3 d3) (* (+ 3 d2) (+ 3 d2))))
5.0ms
(- (* d3 d3) (* (+ 3 d2) (+ 3 d2)))

series295.0ms

Calls
4 calls:
Slowest
113.0ms
(/ (* d1 (- (* d3 d3) (* (+ 3 d2) (+ 3 d2)))) (- d3 (+ 3 d2)))
104.0ms
(* d1 (- (* d3 d3) (* (+ 3 d2) (+ 3 d2))))
52.0ms
(- (* d3 d3) (* (+ 3 d2) (+ 3 d2)))
25.0ms
(* (+ 3 d2) (+ 3 d2))

simplify7.6s

Calls
67 calls:
Slowest
445.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))))
394.0ms
(- (log (* d1 (- (* d3 d3) (* (+ 3 d2) (+ 3 d2))))) (log (- d3 (+ 3 d2))))
335.0ms
(* (+ (* 3 3) (- (* d2 d2) (* 3 d2))) (+ (* 3 3) (- (* d2 d2) (* 3 d2))))
314.0ms
(/ (exp (* d3 d3)) (exp (* (+ 3 d2) (+ 3 d2))))
291.0ms
(/ (- (* d3 d3) (* (+ 3 d2) (+ 3 d2))) (cbrt (- d3 (+ 3 d2))))

prune850.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

localize5.0ms

Local error

Found 4 expressions with local error:

20.2b
(/ (- d3 (+ 3 d2)) (- (* d3 d3) (* (+ 3 d2) (+ 3 d2))))
2.5b
(- (* d3 d3) (* (+ 3 d2) (+ 3 d2)))
0.3b
(/ d1 (/ (- d3 (+ 3 d2)) (- (* d3 d3) (* (+ 3 d2) (+ 3 d2)))))
0.0b
(* (+ 3 d2) (+ 3 d2))

rewrite22.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))
5.0ms
(/ (- d3 (+ 3 d2)) (- (* d3 d3) (* (+ 3 d2) (+ 3 d2))))
3.0ms
(/ d1 (/ (- d3 (+ 3 d2)) (- (* d3 d3) (* (+ 3 d2) (+ 3 d2)))))
2.0ms
(- (* d3 d3) (* (+ 3 d2) (+ 3 d2)))

series254.0ms

Calls
4 calls:
Slowest
118.0ms
(/ d1 (/ (- d3 (+ 3 d2)) (- (* d3 d3) (* (+ 3 d2) (+ 3 d2)))))
79.0ms
(/ (- d3 (+ 3 d2)) (- (* d3 d3) (* (+ 3 d2) (+ 3 d2))))
45.0ms
(- (* d3 d3) (* (+ 3 d2) (+ 3 d2)))
12.0ms
(* (+ 3 d2) (+ 3 d2))

simplify12.7s

Calls
98 calls:
Slowest
630.0ms
(/ (* (* (- d3 (+ 3 d2)) (- d3 (+ 3 d2))) (- d3 (+ 3 d2))) (* (* (- (* d3 d3) (* (+ 3 d2) (+ 3 d2))) (- (* d3 d3) (* (+ 3 d2) (+ 3 d2)))) (- (* d3 d3) (* (+ 3 d2) (+ 3 d2)))))
385.0ms
(* (+ (* 3 3) (- (* d2 d2) (* 3 d2))) (+ (* 3 3) (- (* d2 d2) (* 3 d2))))
347.0ms
(/ (exp (* d3 d3)) (exp (* (+ 3 d2) (+ 3 d2))))
325.0ms
(/ (- d3 (+ 3 d2)) (- (* d3 d3) (* (+ 3 d2) (+ 3 d2))))
287.0ms
(* (- (* 3 3) (* d2 d2)) (+ (pow 3 3) (pow d2 3)))

prune1.1s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

regimes150.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.3s

Algorithm
intervals
Results
861.0ms9676×body80valid
88.0ms218×body640valid
37.0ms100×body1280valid
32.0ms146×body320valid
12.0ms77×body160valid