Details

Time bar (total: 10.9s)

sample50.0ms

Algorithm
intervals
Results
26.0ms329×body80valid

simplify358.0ms

Counts
1 → 1
Iterations
IterNodes
done467
7467
6461
5381
4229
3113
239
119
011

prune13.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize11.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ 32.0 (+ d2 5.0))
0.0b
(* (+ d3 (+ 32.0 (+ d2 5.0))) d1)

rewrite242.0ms

Algorithm
rewrite-expression-head
Rules
18×*-un-lft-identity
9×distribute-lft-out
7×add-log-exp
6×add-sqr-sqrt associate-*l*
4×pow1 add-cbrt-cube add-exp-log add-cube-cbrt
3×sum-log associate-*r*
2×flip3-+ associate-*l/ flip-+
1×+-commutative associate-+r+ pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
2 → 38
Calls
2 calls:
12.0ms
(+ 32.0 (+ d2 5.0))
229.0ms
(* (+ d3 (+ 32.0 (+ d2 5.0))) d1)

series82.0ms

Counts
2 → 6
Calls
2 calls:
33.0ms
(+ 32.0 (+ d2 5.0))
49.0ms
(* (+ d3 (+ 32.0 (+ d2 5.0))) d1)

simplify1.3s

Counts
44 → 44
Iterations
IterNodes
done5001
2791
1206
076

prune213.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize15.0ms

Local error

Found 3 expressions with local error:

0.0b
(* (+ d3 5.0) d1)
0.0b
(+ (* d1 d2) (* (+ d3 5.0) d1))
0.0b
(+ (+ (* d1 d2) (* (+ d3 5.0) d1)) (* d1 32.0))

rewrite63.0ms

Algorithm
rewrite-expression-head
Rules
10×add-log-exp
7×add-sqr-sqrt *-un-lft-identity
5×pow1 add-cbrt-cube add-exp-log add-cube-cbrt
4×sum-log associate-*l*
3×flip3-+ associate-*r* flip-+
2×+-commutative associate-*l/
1×associate-+l+ pow-prod-down prod-exp *-commutative cbrt-unprod distribute-lft-out unswap-sqr
Counts
3 → 45
Calls
3 calls:
17.0ms
(* (+ d3 5.0) d1)
13.0ms
(+ (* d1 d2) (* (+ d3 5.0) d1))
30.0ms
(+ (+ (* d1 d2) (* (+ d3 5.0) d1)) (* d1 32.0))

series163.0ms

Counts
3 → 9
Calls
3 calls:
55.0ms
(* (+ d3 5.0) d1)
48.0ms
(+ (* d1 d2) (* (+ d3 5.0) d1))
60.0ms
(+ (+ (* d1 d2) (* (+ d3 5.0) d1)) (* d1 32.0))

simplify1.5s

Counts
54 → 54
Iterations
IterNodes
done5000
21087
1276
094

prune299.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

localize94.0ms

Local error

Found 4 expressions with local error:

1.9b
(+ (* (+ 5.0 (+ 32.0 d2)) (* (+ 5.0 (+ 32.0 d2)) (+ 5.0 (+ 32.0 d2)))) (* d3 (* d3 d3)))
3.1b
(- (* (+ 32.0 (+ d2 5.0)) (+ 32.0 (+ d2 5.0))) (* d3 (+ 32.0 (+ d2 5.0))))
4.5b
(* d1 (+ (* (+ 5.0 (+ 32.0 d2)) (* (+ 5.0 (+ 32.0 d2)) (+ 5.0 (+ 32.0 d2)))) (* d3 (* d3 d3))))
28.7b
(/ (* d1 (+ (* (+ 5.0 (+ 32.0 d2)) (* (+ 5.0 (+ 32.0 d2)) (+ 5.0 (+ 32.0 d2)))) (* d3 (* d3 d3)))) (+ (* d3 d3) (- (* (+ 32.0 (+ d2 5.0)) (+ 32.0 (+ d2 5.0))) (* d3 (+ 32.0 (+ d2 5.0))))))

rewrite973.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
7×distribute-rgt-in distribute-lft-in
6×pow1 associate-*l/
4×associate-+l+ cube-unmult associate-*r* sub-div
3×associate-/r* times-frac associate-*l*
2×cbrt-undiv div-exp 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 → 101
Calls
4 calls:
128.0ms
(+ (* (+ 5.0 (+ 32.0 d2)) (* (+ 5.0 (+ 32.0 d2)) (+ 5.0 (+ 32.0 d2)))) (* d3 (* d3 d3)))
29.0ms
(- (* (+ 32.0 (+ d2 5.0)) (+ 32.0 (+ d2 5.0))) (* d3 (+ 32.0 (+ d2 5.0))))
463.0ms
(* d1 (+ (* (+ 5.0 (+ 32.0 d2)) (* (+ 5.0 (+ 32.0 d2)) (+ 5.0 (+ 32.0 d2)))) (* d3 (* d3 d3))))
348.0ms
(/ (* d1 (+ (* (+ 5.0 (+ 32.0 d2)) (* (+ 5.0 (+ 32.0 d2)) (+ 5.0 (+ 32.0 d2)))) (* d3 (* d3 d3)))) (+ (* d3 d3) (- (* (+ 32.0 (+ d2 5.0)) (+ 32.0 (+ d2 5.0))) (* d3 (+ 32.0 (+ d2 5.0))))))

series717.0ms

Counts
4 → 12
Calls
4 calls:
89.0ms
(+ (* (+ 5.0 (+ 32.0 d2)) (* (+ 5.0 (+ 32.0 d2)) (+ 5.0 (+ 32.0 d2)))) (* d3 (* d3 d3)))
47.0ms
(- (* (+ 32.0 (+ d2 5.0)) (+ 32.0 (+ d2 5.0))) (* d3 (+ 32.0 (+ d2 5.0))))
273.0ms
(* d1 (+ (* (+ 5.0 (+ 32.0 d2)) (* (+ 5.0 (+ 32.0 d2)) (+ 5.0 (+ 32.0 d2)))) (* d3 (* d3 d3))))
307.0ms
(/ (* d1 (+ (* (+ 5.0 (+ 32.0 d2)) (* (+ 5.0 (+ 32.0 d2)) (+ 5.0 (+ 32.0 d2)))) (* d3 (* d3 d3)))) (+ (* d3 d3) (- (* (+ 32.0 (+ d2 5.0)) (+ 32.0 (+ d2 5.0))) (* d3 (+ 32.0 (+ d2 5.0))))))

simplify2.8s

Counts
113 → 113
Iterations
IterNodes
done5006
24776
1965
0275

prune697.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0.0b

regimes264.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations
IterNodes
done13
113
09

end0.0ms

sample974.0ms

Algorithm
intervals
Results
664.0ms10176×body80valid
3.0ms9×body1280valid
2.0ms12×body640valid
2.0ms12×body320valid
0.0ms1×body160valid