Details

Time bar (total: 12.9s)

sample47.0ms

Algorithm
intervals
Results
24.0ms310×body80valid
3.0ms8×body640valid
1.0ms5×body320valid
1.0ms3×body1280valid
0.0ms2×body160valid

simplify98.0ms

Counts
1 → 1

prune24.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize24.0ms

Local error

Found 2 expressions with local error:

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

rewrite357.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+
Counts
2 → 28
Calls
2 calls:
Slowest
327.0ms
(+ (* d1 3) (* d1 d2))
28.0ms
(+ (+ (* d1 3) (* d1 d2)) (* d1 d3))

series112.0ms

Counts
2 → 6
Calls
2 calls:
Slowest
64.0ms
(+ (+ (* d1 3) (* d1 d2)) (* d1 d3))
48.0ms
(+ (* d1 3) (* d1 d2))

simplify1.1s

Counts
34 → 34

prune405.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize12.0ms

Local error

Found 1 expressions with local error:

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

rewrite48.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 distribute-lft-in flip3-+ pow-prod-down prod-exp *-commutative cbrt-unprod flip-+ insert-posit16 add-log-exp unswap-sqr
Counts
1 → 25
Calls
1 calls:
Slowest
47.0ms
(* d1 (+ (+ 3 d2) d3))

series34.0ms

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

simplify908.0ms

Counts
28 → 28

prune312.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize32.0ms

Local error

Found 4 expressions with local error:

17.8b
(/ (* d1 (- (* (+ 3 d2) (+ 3 d2)) (* d3 d3))) (- (+ 3 d2) d3))
9.4b
(* d1 (- (* (+ 3 d2) (+ 3 d2)) (* d3 d3)))
1.1b
(- (* (+ 3 d2) (+ 3 d2)) (* d3 d3))
0.0b
(* (+ 3 d2) (+ 3 d2))

rewrite192.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×distribute-rgt-in distribute-lft-in associate-*r* distribute-lft-out
7×associate-*l*
6×associate-/r* flip3-+ times-frac swap-sqr associate--l+ associate-*r/ flip-+ add-log-exp
4×frac-times flip3-- insert-posit16 flip-- distribute-lft-out-- difference-of-squares
3×sub-neg 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 diff-log pow-sqr pow-prod-up div-inv associate-/l*
Counts
4 → 119
Calls
4 calls:
Slowest
92.0ms
(/ (* d1 (- (* (+ 3 d2) (+ 3 d2)) (* d3 d3))) (- (+ 3 d2) d3))
61.0ms
(* d1 (- (* (+ 3 d2) (+ 3 d2)) (* d3 d3)))
21.0ms
(* (+ 3 d2) (+ 3 d2))
15.0ms
(- (* (+ 3 d2) (+ 3 d2)) (* d3 d3))

series369.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
162.0ms
(/ (* d1 (- (* (+ 3 d2) (+ 3 d2)) (* d3 d3))) (- (+ 3 d2) d3))
129.0ms
(* d1 (- (* (+ 3 d2) (+ 3 d2)) (* d3 d3)))
65.0ms
(- (* (+ 3 d2) (+ 3 d2)) (* d3 d3))
14.0ms
(* (+ 3 d2) (+ 3 d2))

simplify938.0ms

Counts
131 → 131

prune1.6s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize52.0ms

Local error

Found 4 expressions with local error:

30.2b
(/ (* d1 (+ (* d3 (* d3 d3)) (* (+ 3 d2) (* (+ 3 d2) (+ 3 d2))))) (+ (* (+ 3 d2) (+ 3 d2)) (- (* d3 d3) (* (+ 3 d2) d3))))
4.0b
(* d1 (+ (* d3 (* d3 d3)) (* (+ 3 d2) (* (+ 3 d2) (+ 3 d2)))))
2.1b
(+ (* d3 (* d3 d3)) (* (+ 3 d2) (* (+ 3 d2) (+ 3 d2))))
1.9b
(- (* d3 d3) (* (+ 3 d2) d3))

rewrite342.0ms

Algorithm
rewrite-expression-head
Rules
18×associate-/r/
16×flip3-+ frac-add flip-+
11×add-cbrt-cube add-exp-log
10×add-sqr-sqrt
9×flip3-- flip--
8×frac-times *-un-lft-identity associate-*r/ add-cube-cbrt add-log-exp
6×pow1
5×distribute-rgt-in distribute-lft-in
4×associate-+r+ cube-unmult associate-*r* associate-*l/ insert-posit16
3×associate-/r* times-frac associate-*l*
2×cbrt-undiv div-exp prod-exp sum-cubes cbrt-unprod associate-/l/
1×+-commutative clear-num sum-log sub-neg frac-2neg distribute-rgt-out-- diff-log pow-prod-down *-commutative div-inv associate-/l* unswap-sqr
Counts
4 → 97
Calls
4 calls:
Slowest
156.0ms
(* d1 (+ (* d3 (* d3 d3)) (* (+ 3 d2) (* (+ 3 d2) (+ 3 d2)))))
104.0ms
(/ (* d1 (+ (* d3 (* d3 d3)) (* (+ 3 d2) (* (+ 3 d2) (+ 3 d2))))) (+ (* (+ 3 d2) (+ 3 d2)) (- (* d3 d3) (* (+ 3 d2) d3))))
64.0ms
(+ (* d3 (* d3 d3)) (* (+ 3 d2) (* (+ 3 d2) (+ 3 d2))))
15.0ms
(- (* d3 d3) (* (+ 3 d2) d3))

series642.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
280.0ms
(/ (* d1 (+ (* d3 (* d3 d3)) (* (+ 3 d2) (* (+ 3 d2) (+ 3 d2))))) (+ (* (+ 3 d2) (+ 3 d2)) (- (* d3 d3) (* (+ 3 d2) d3))))
239.0ms
(* d1 (+ (* d3 (* d3 d3)) (* (+ 3 d2) (* (+ 3 d2) (+ 3 d2)))))
69.0ms
(+ (* d3 (* d3 d3)) (* (+ 3 d2) (* (+ 3 d2) (+ 3 d2))))
55.0ms
(- (* d3 d3) (* (+ 3 d2) d3))

simplify1.8s

Counts
109 → 109

prune1.6s

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes230.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.6s

Algorithm
intervals
Results
1.1s9529×body80valid
75.0ms205×body640valid
44.0ms160×body320valid
43.0ms101×body160valid
36.0ms81×body1280valid