Details

Time bar (total: 30.6s)

sample401.0ms

Algorithm
intervals
Results
113.0ms520×body80valid

simplify2.0s

Counts
1 → 1
Iterations
IterNodes
done5000
43439
3656
2152
151
022

prune38.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 13.7b

localize44.0ms

Local error

Found 4 expressions with local error:

2.4b
(* (* 0.125 (- 3.0 (* 2.0 v))) (* (* (* w w) r) r))
7.6b
(/ (* (* 0.125 (- 3.0 (* 2.0 v))) (* (* (* w w) r) r)) (- 1.0 v))
8.6b
(* (* (* w w) r) r)
10.2b
(* (* w w) r)

rewrite607.0ms

Algorithm
rewrite-expression-head
Rules
92×add-cbrt-cube add-exp-log
57×prod-exp cbrt-unprod
50×pow1
33×pow-prod-down
13×add-sqr-sqrt
12×*-un-lft-identity
9×cbrt-undiv div-exp
8×add-cube-cbrt
7×associate-*r*
5×associate-/r* times-frac
4×associate-*l/ associate-*r/ add-log-exp
3×flip3-- associate-*l* *-commutative flip--
2×associate-/r/ distribute-lft-out-- difference-of-squares associate-/l/
1×clear-num frac-2neg div-inv associate-/l* unswap-sqr
Counts
4 → 119
Calls
4 calls:
224.0ms
(* (* 0.125 (- 3.0 (* 2.0 v))) (* (* (* w w) r) r))
261.0ms
(/ (* (* 0.125 (- 3.0 (* 2.0 v))) (* (* (* w w) r) r)) (- 1.0 v))
83.0ms
(* (* (* w w) r) r)
23.0ms
(* (* w w) r)

series353.0ms

Counts
4 → 12
Calls
4 calls:
153.0ms
(* (* 0.125 (- 3.0 (* 2.0 v))) (* (* (* w w) r) r))
126.0ms
(/ (* (* 0.125 (- 3.0 (* 2.0 v))) (* (* (* w w) r) r)) (- 1.0 v))
40.0ms
(* (* (* w w) r) r)
34.0ms
(* (* w w) r)

simplify520.0ms

Counts
131 → 131
Iterations
IterNodes
done5000
1672
0201

prune732.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 3.5b

localize40.0ms

Local error

Found 4 expressions with local error:

0.3b
(/ 2.0 (* r r))
2.9b
(/ (- 1.0 v) (* w (* w r)))
4.2b
(/ (* 0.125 (- 3.0 (* 2.0 v))) (/ (/ (- 1.0 v) (* w (* w r))) r))
7.6b
(/ (/ (- 1.0 v) (* w (* w r))) r)

rewrite139.0ms

Algorithm
rewrite-expression-head
Rules
170×times-frac
82×add-sqr-sqrt *-un-lft-identity
77×add-cbrt-cube add-exp-log
58×add-cube-cbrt
36×cbrt-undiv associate-/r* div-exp
18×prod-exp cbrt-unprod associate-/l*
16×div-inv
12×distribute-lft-out-- difference-of-squares
5×associate-/l/
4×pow1 clear-num frac-2neg add-log-exp
3×div-sub
2×flip3-- associate-*r/ flip--
1×associate-/r/
Counts
4 → 206
Calls
4 calls:
13.0ms
(/ 2.0 (* r r))
26.0ms
(/ (- 1.0 v) (* w (* w r)))
54.0ms
(/ (* 0.125 (- 3.0 (* 2.0 v))) (/ (/ (- 1.0 v) (* w (* w r))) r))
28.0ms
(/ (/ (- 1.0 v) (* w (* w r))) r)

series311.0ms

Counts
4 → 12
Calls
4 calls:
52.0ms
(/ 2.0 (* r r))
83.0ms
(/ (- 1.0 v) (* w (* w r)))
103.0ms
(/ (* 0.125 (- 3.0 (* 2.0 v))) (/ (/ (- 1.0 v) (* w (* w r))) r))
73.0ms
(/ (/ (- 1.0 v) (* w (* w r))) r)

simplify586.0ms

Counts
218 → 218
Iterations
IterNodes
done5000
11195
0364

prune1.6s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 0.0b

localize83.0ms

Local error

Found 4 expressions with local error:

1.1b
(* (* (/ 0.125 (/ (* (cbrt (- 1.0 v)) (cbrt (- 1.0 v))) w)) (cbrt r)) (cbrt r))
2.9b
(* (/ 0.125 (/ (* (cbrt (- 1.0 v)) (cbrt (- 1.0 v))) w)) (cbrt r))
3.0b
(* (* (* (/ 0.125 (/ (* (cbrt (- 1.0 v)) (cbrt (- 1.0 v))) w)) (cbrt r)) (cbrt r)) (/ (- 3.0 (* v 2.0)) (/ (/ (cbrt (- 1.0 v)) (cbrt r)) (* r w))))
3.2b
(/ (- 3.0 (* v 2.0)) (/ (/ (cbrt (- 1.0 v)) (cbrt r)) (* r w)))

rewrite1.4s

Algorithm
rewrite-expression-head
Rules
1072×times-frac
446×add-sqr-sqrt
430×*-un-lft-identity
387×cbrt-prod
346×add-cube-cbrt
296×add-exp-log
185×add-cbrt-cube associate-*r*
125×prod-exp cbrt-unprod
117×cbrt-undiv div-exp
56×associate-/r*
42×distribute-lft-out-- difference-of-squares
28×associate-*l*
20×pow1 div-inv
10×pow-prod-down
8×associate-*l/
6×unswap-sqr
4×add-log-exp
3×associate-/r/ *-commutative associate-/l*
2×associate-/l/
1×frac-times clear-num frac-2neg flip3-- div-sub associate-*r/ flip--
Counts
4 → 595
Calls
4 calls:
242.0ms
(* (* (/ 0.125 (/ (* (cbrt (- 1.0 v)) (cbrt (- 1.0 v))) w)) (cbrt r)) (cbrt r))
52.0ms
(* (/ 0.125 (/ (* (cbrt (- 1.0 v)) (cbrt (- 1.0 v))) w)) (cbrt r))
964.0ms
(* (* (* (/ 0.125 (/ (* (cbrt (- 1.0 v)) (cbrt (- 1.0 v))) w)) (cbrt r)) (cbrt r)) (/ (- 3.0 (* v 2.0)) (/ (/ (cbrt (- 1.0 v)) (cbrt r)) (* r w))))
86.0ms
(/ (- 3.0 (* v 2.0)) (/ (/ (cbrt (- 1.0 v)) (cbrt r)) (* r w)))

series1.2s

Counts
4 → 12
Calls
4 calls:
377.0ms
(* (* (/ 0.125 (/ (* (cbrt (- 1.0 v)) (cbrt (- 1.0 v))) w)) (cbrt r)) (cbrt r))
268.0ms
(* (/ 0.125 (/ (* (cbrt (- 1.0 v)) (cbrt (- 1.0 v))) w)) (cbrt r))
186.0ms
(* (* (* (/ 0.125 (/ (* (cbrt (- 1.0 v)) (cbrt (- 1.0 v))) w)) (cbrt r)) (cbrt r)) (/ (- 3.0 (* v 2.0)) (/ (/ (cbrt (- 1.0 v)) (cbrt r)) (* r w))))
405.0ms
(/ (- 3.0 (* v 2.0)) (/ (/ (cbrt (- 1.0 v)) (cbrt r)) (* r w)))

simplify1.9s

Counts
607 → 607
Iterations
IterNodes
done5002
13883
01047

prune4.9s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 0.0b

localize63.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt r)
3.0b
(* (* (/ 0.125 (/ (* (cbrt (- 1.0 v)) (cbrt (- 1.0 v))) w)) (* (cbrt r) (cbrt r))) (/ (- 3.0 (* v 2.0)) (/ (/ (cbrt (- 1.0 v)) (cbrt r)) (* r w))))
3.2b
(/ (- 3.0 (* v 2.0)) (/ (/ (cbrt (- 1.0 v)) (cbrt r)) (* r w)))
3.6b
(* (/ 0.125 (/ (* (cbrt (- 1.0 v)) (cbrt (- 1.0 v))) w)) (* (cbrt r) (cbrt r)))

rewrite917.0ms

Algorithm
rewrite-expression-head
Rules
1069×times-frac
432×add-sqr-sqrt
427×*-un-lft-identity
423×add-exp-log
381×cbrt-prod
343×add-cube-cbrt
299×add-cbrt-cube
180×cbrt-undiv div-exp
174×associate-*r*
172×prod-exp cbrt-unprod
56×associate-/r*
42×distribute-lft-out-- difference-of-squares
27×associate-*l*
20×div-inv
18×pow1
9×pow-prod-down
4×associate-*l/ add-log-exp
3×associate-/r/ associate-/l* unswap-sqr
2×*-commutative associate-/l/
1×frac-times clear-num frac-2neg flip3-- pow1/3 div-sub associate-*r/ flip--
Counts
4 → 615
Calls
4 calls:
1.0ms
(cbrt r)
374.0ms
(* (* (/ 0.125 (/ (* (cbrt (- 1.0 v)) (cbrt (- 1.0 v))) w)) (* (cbrt r) (cbrt r))) (/ (- 3.0 (* v 2.0)) (/ (/ (cbrt (- 1.0 v)) (cbrt r)) (* r w))))
48.0ms
(/ (- 3.0 (* v 2.0)) (/ (/ (cbrt (- 1.0 v)) (cbrt r)) (* r w)))
424.0ms
(* (/ 0.125 (/ (* (cbrt (- 1.0 v)) (cbrt (- 1.0 v))) w)) (* (cbrt r) (cbrt r)))

series1.2s

Counts
4 → 12
Calls
4 calls:
286.0ms
(cbrt r)
139.0ms
(* (* (/ 0.125 (/ (* (cbrt (- 1.0 v)) (cbrt (- 1.0 v))) w)) (* (cbrt r) (cbrt r))) (/ (- 3.0 (* v 2.0)) (/ (/ (cbrt (- 1.0 v)) (cbrt r)) (* r w))))
367.0ms
(/ (- 3.0 (* v 2.0)) (/ (/ (cbrt (- 1.0 v)) (cbrt r)) (* r w)))
401.0ms
(* (/ 0.125 (/ (* (cbrt (- 1.0 v)) (cbrt (- 1.0 v))) w)) (* (cbrt r) (cbrt r)))

simplify1.8s

Counts
627 → 627
Iterations
IterNodes
done5001
13991
01035

prune5.0s

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 0.0b

regimes620.0ms

Accuracy

80% (0.6b remaining)

Error of 0.6b against oracle of 0.1b and baseline of 2.8b

bsearch470.0ms

Steps
ItersRangePoint
10
5.1219913751903624e+209
8.753701960770357e+226
5.213956439172145e+209
8
-6.549879840542776e+192
-2.4091008480080924e+188
-2.5290713141082896e+188

simplify9.0ms

Iterations
IterNodes
done59
359
255
151
041

end0.0ms

sample3.6s

Algorithm
intervals
Results
2.9s17039×body80valid