Details

Time bar (total: 15.1s)

sample55.0ms

Algorithm
intervals
Results
31.0ms306×body80valid
3.0ms8×body640valid
2.0ms4×body1280valid
1.0ms4×body320valid
0.0ms1×body160valid

simplify43.0ms

Counts
1 → 1
Iterations
IterNodes
done63
463
351
234
118
09

prune8.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize15.0ms

Local error

Found 1 expressions with local error:

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

rewrite68.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:
68.0ms
(* d1 (+ d3 (+ 3 d2)))

series42.0ms

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

simplify2.4s

Counts
28 → 28
Iterations
IterNodes
done5003
34299
2651
1164
051

prune106.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize14.0ms

Local error

Found 2 expressions with local error:

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

rewrite68.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:
53.0ms
(+ (+ (* d1 3) (* d1 d2)) (* d1 d3))
15.0ms
(+ (* d1 3) (* d1 d2))

series111.0ms

Counts
2 → 6
Calls
2 calls:
44.0ms
(+ (+ (* d1 3) (* d1 d2)) (* d1 d3))
66.0ms
(+ (* d1 3) (* d1 d2))

simplify2.5s

Counts
34 → 34
Iterations
IterNodes
done5001
33912
2792
1194
059

prune144.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize33.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (+ 3 d2) (+ 3 d2))
2.2b
(- (* d3 d3) (* (+ 3 d2) (+ 3 d2)))
8.8b
(* d1 (- (* d3 d3) (* (+ 3 d2) (+ 3 d2))))
14.9b
(/ (* d1 (- (* d3 d3) (* (+ 3 d2) (+ 3 d2)))) (- d3 (+ 3 d2)))

rewrite153.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-*r* distribute-lft-out
7×associate-*l*
6×associate-/r* flip3-+ times-frac swap-sqr associate-*r/ flip-+ add-log-exp
4×distribute-rgt-in frac-times distribute-lft-in 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 associate--r+ 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 → 115
Calls
4 calls:
25.0ms
(* (+ 3 d2) (+ 3 d2))
14.0ms
(- (* d3 d3) (* (+ 3 d2) (+ 3 d2)))
43.0ms
(* d1 (- (* d3 d3) (* (+ 3 d2) (+ 3 d2))))
69.0ms
(/ (* d1 (- (* d3 d3) (* (+ 3 d2) (+ 3 d2)))) (- d3 (+ 3 d2)))

series284.0ms

Counts
4 → 12
Calls
4 calls:
22.0ms
(* (+ 3 d2) (+ 3 d2))
58.0ms
(- (* d3 d3) (* (+ 3 d2) (+ 3 d2)))
112.0ms
(* d1 (- (* d3 d3) (* (+ 3 d2) (+ 3 d2))))
92.0ms
(/ (* d1 (- (* d3 d3) (* (+ 3 d2) (+ 3 d2)))) (- d3 (+ 3 d2)))

simplify2.3s

Counts
127 → 127
Iterations
IterNodes
done5001
22485
1574
0184

prune529.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize54.0ms

Local error

Found 4 expressions with local error:

2.0b
(- (* (+ 3 d2) (+ 3 d2)) (* d3 (+ 3 d2)))
2.4b
(+ (* (* (+ d2 3) (+ d2 3)) (+ d2 3)) (* d3 (* d3 d3)))
4.3b
(* d1 (+ (* (* (+ d2 3) (+ d2 3)) (+ d2 3)) (* d3 (* d3 d3))))
28.1b
(/ (* d1 (+ (* (* (+ d2 3) (+ d2 3)) (+ d2 3)) (* d3 (* d3 d3)))) (+ (* d3 d3) (- (* (+ 3 d2) (+ 3 d2)) (* d3 (+ 3 d2)))))

rewrite490.0ms

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

series555.0ms

Counts
4 → 12
Calls
4 calls:
50.0ms
(- (* (+ 3 d2) (+ 3 d2)) (* d3 (+ 3 d2)))
77.0ms
(+ (* (* (+ d2 3) (+ d2 3)) (+ d2 3)) (* d3 (* d3 d3)))
194.0ms
(* d1 (+ (* (* (+ d2 3) (+ d2 3)) (+ d2 3)) (* d3 (* d3 d3))))
234.0ms
(/ (* d1 (+ (* (* (+ d2 3) (+ d2 3)) (+ d2 3)) (* d3 (* d3 d3)))) (+ (* d3 d3) (- (* (+ 3 d2) (+ 3 d2)) (* d3 (+ 3 d2)))))

simplify2.6s

Counts
115 → 115
Iterations
IterNodes
done5030
24366
1886
0259

prune631.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes165.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations
IterNodes
done14
114
09

end0.0ms

sample1.8s

Algorithm
intervals
Results
872.0ms9610×body80valid
89.0ms201×body640valid
41.0ms171×body320valid
41.0ms81×body160valid
40.0ms101×body1280valid