Details

Time bar (total: 19.9s)

sample46.0ms

Algorithm
intervals
Results
25.0ms288×body80valid
1.0ms3×body1280valid
0.0ms1×body320valid

simplify74.0ms

Counts
1 → 1
Iterations
IterNodes
done63
463
349
233
118
09

prune22.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize19.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ 20.0 (+ d2 10.0))
0.0b
(* d1 (+ 20.0 (+ d2 10.0)))

rewrite159.0ms

Algorithm
rewrite-expression-head
Rules
14×*-un-lft-identity
7×add-log-exp
6×add-sqr-sqrt distribute-lft-out
5×associate-*r*
4×pow1 add-exp-log add-cube-cbrt add-cbrt-cube
3×associate-*l* sum-log
2×flip3-+ associate-*r/ flip-+
1×+-commutative distribute-rgt-in associate-+r+ distribute-lft-in pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
2 → 39
Calls
2 calls:
33.0ms
(+ 20.0 (+ d2 10.0))
123.0ms
(* d1 (+ 20.0 (+ d2 10.0)))

series97.0ms

Counts
2 → 6
Calls
2 calls:
31.0ms
(+ 20.0 (+ d2 10.0))
66.0ms
(* d1 (+ 20.0 (+ d2 10.0)))

simplify5.5s

Counts
45 → 45
Iterations
IterNodes
done5011
34048
2725
1196
065

prune288.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize15.0ms

Local error

Found 1 expressions with local error:

0.0b
(+ (* 30.0 d1) (* d1 d2))

rewrite16.0ms

Algorithm
rewrite-expression-head
Rules
3×add-log-exp
1×pow1 add-exp-log +-commutative add-sqr-sqrt add-cube-cbrt *-un-lft-identity flip3-+ sum-log add-cbrt-cube flip-+
Counts
1 → 11
Calls
1 calls:
16.0ms
(+ (* 30.0 d1) (* d1 d2))

series85.0ms

Counts
1 → 3
Calls
1 calls:
85.0ms
(+ (* 30.0 d1) (* d1 d2))

simplify5.4s

Counts
14 → 14
Iterations
IterNodes
done5001
43233
31009
2322
195
027

prune107.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize85.0ms

Local error

Found 4 expressions with local error:

0.0b
(* 20.0 (+ d2 10.0))
0.1b
(* (+ d2 10.0) (* (+ d2 10.0) (+ d2 10.0)))
2.4b
(* d1 (+ (* (* 20.0 20.0) 20.0) (* (+ d2 10.0) (* (+ d2 10.0) (+ d2 10.0)))))
17.0b
(/ (* d1 (+ (* (* 20.0 20.0) 20.0) (* (+ d2 10.0) (* (+ d2 10.0) (+ d2 10.0))))) (+ (* 20.0 20.0) (- (* (+ d2 10.0) (+ d2 10.0)) (* 20.0 (+ d2 10.0)))))

rewrite836.0ms

Algorithm
rewrite-expression-head
Rules
31×flip3-+ flip-+
28×frac-times
22×pow1
20×associate-*r/
18×add-exp-log add-cbrt-cube
16×add-sqr-sqrt
15×*-un-lft-identity
11×add-cube-cbrt
10×associate-*l*
9×associate-*r*
8×associate-*l/
6×distribute-rgt-in distribute-lft-in prod-exp cbrt-unprod
5×pow-prod-down pow-prod-up
4×add-log-exp
3×times-frac associate-/r* *-commutative unswap-sqr
2×cbrt-undiv cube-unmult div-exp associate-/r/ associate-/l/ distribute-lft-out
1×pow2 frac-2neg pow-plus pow3 clear-num pow-sqr sum-cubes div-inv associate-/l*
Counts
4 → 126
Calls
4 calls:
44.0ms
(* 20.0 (+ d2 10.0))
172.0ms
(* (+ d2 10.0) (* (+ d2 10.0) (+ d2 10.0)))
367.0ms
(* d1 (+ (* (* 20.0 20.0) 20.0) (* (+ d2 10.0) (* (+ d2 10.0) (+ d2 10.0)))))
245.0ms
(/ (* d1 (+ (* (* 20.0 20.0) 20.0) (* (+ d2 10.0) (* (+ d2 10.0) (+ d2 10.0))))) (+ (* 20.0 20.0) (- (* (+ d2 10.0) (+ d2 10.0)) (* 20.0 (+ d2 10.0)))))

series638.0ms

Counts
4 → 12
Calls
4 calls:
72.0ms
(* 20.0 (+ d2 10.0))
48.0ms
(* (+ d2 10.0) (* (+ d2 10.0) (+ d2 10.0)))
145.0ms
(* d1 (+ (* (* 20.0 20.0) 20.0) (* (+ d2 10.0) (* (+ d2 10.0) (+ d2 10.0)))))
373.0ms
(/ (* d1 (+ (* (* 20.0 20.0) 20.0) (* (+ d2 10.0) (* (+ d2 10.0) (+ d2 10.0))))) (+ (* 20.0 20.0) (- (* (+ d2 10.0) (+ d2 10.0)) (* 20.0 (+ d2 10.0)))))

simplify4.1s

Counts
138 → 138
Iterations
IterNodes
done5002
23270
1749
0249

prune1.0s

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes154.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations
IterNodes
done10
110
07

end0.0ms

sample1.1s

Algorithm
intervals
Results
665.0ms8984×body80valid
81.0ms55×body1280valid
12.0ms54×body640valid
4.0ms22×body320valid
1.0ms10×body160valid