Details

Time bar (total: 30.9s)

sample239.0ms

Algorithm
intervals
Results
128.0ms520×body80valid

simplify2.1s

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

prune36.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 13.7b

localize32.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)

rewrite579.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:
257.0ms
(* (* 0.125 (- 3.0 (* 2.0 v))) (* (* (* w w) r) r))
188.0ms
(/ (* (* 0.125 (- 3.0 (* 2.0 v))) (* (* (* w w) r) r)) (- 1.0 v))
102.0ms
(* (* (* w w) r) r)
16.0ms
(* (* w w) r)

series306.0ms

Counts
4 → 12
Calls
4 calls:
113.0ms
(* (* 0.125 (- 3.0 (* 2.0 v))) (* (* (* w w) r) r))
92.0ms
(/ (* (* 0.125 (- 3.0 (* 2.0 v))) (* (* (* w w) r) r)) (- 1.0 v))
53.0ms
(* (* (* w w) r) r)
47.0ms
(* (* w w) r)

simplify587.0ms

Counts
131 → 131
Iterations
IterNodes
done5000
1672
0201

prune652.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 3.5b

localize48.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)

rewrite130.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:
12.0ms
(/ 2.0 (* r r))
23.0ms
(/ (- 1.0 v) (* w (* w r)))
37.0ms
(/ (* 0.125 (- 3.0 (* 2.0 v))) (/ (/ (- 1.0 v) (* w (* w r))) r))
42.0ms
(/ (/ (- 1.0 v) (* w (* w r))) r)

series292.0ms

Counts
4 → 12
Calls
4 calls:
49.0ms
(/ 2.0 (* r r))
79.0ms
(/ (- 1.0 v) (* w (* w r)))
82.0ms
(/ (* 0.125 (- 3.0 (* 2.0 v))) (/ (/ (- 1.0 v) (* w (* w r))) r))
81.0ms
(/ (/ (- 1.0 v) (* w (* w r))) r)

simplify597.0ms

Counts
218 → 218
Iterations
IterNodes
done5000
11195
0364

prune1.5s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 0.0b

localize72.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:
200.0ms
(* (* (/ 0.125 (/ (* (cbrt (- 1.0 v)) (cbrt (- 1.0 v))) w)) (cbrt r)) (cbrt r))
81.0ms
(* (/ 0.125 (/ (* (cbrt (- 1.0 v)) (cbrt (- 1.0 v))) w)) (cbrt r))
1.0s
(* (* (* (/ 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))))
56.0ms
(/ (- 3.0 (* v 2.0)) (/ (/ (cbrt (- 1.0 v)) (cbrt r)) (* r w)))

series1.3s

Counts
4 → 12
Calls
4 calls:
395.0ms
(* (* (/ 0.125 (/ (* (cbrt (- 1.0 v)) (cbrt (- 1.0 v))) w)) (cbrt r)) (cbrt r))
311.0ms
(* (/ 0.125 (/ (* (cbrt (- 1.0 v)) (cbrt (- 1.0 v))) w)) (cbrt r))
135.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))))
440.0ms
(/ (- 3.0 (* v 2.0)) (/ (/ (cbrt (- 1.0 v)) (cbrt r)) (* r w)))

simplify1.8s

Counts
607 → 607
Iterations
IterNodes
done5002
13883
01047

prune5.5s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 0.0b

localize64.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)))

rewrite686.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)
408.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))))
71.0ms
(/ (- 3.0 (* v 2.0)) (/ (/ (cbrt (- 1.0 v)) (cbrt r)) (* r w)))
130.0ms
(* (/ 0.125 (/ (* (cbrt (- 1.0 v)) (cbrt (- 1.0 v))) w)) (* (cbrt r) (cbrt r)))

series1.2s

Counts
4 → 12
Calls
4 calls:
277.0ms
(cbrt r)
131.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))))
390.0ms
(/ (- 3.0 (* v 2.0)) (/ (/ (cbrt (- 1.0 v)) (cbrt r)) (* r w)))
413.0ms
(* (/ 0.125 (/ (* (cbrt (- 1.0 v)) (cbrt (- 1.0 v))) w)) (* (cbrt r) (cbrt r)))

simplify1.9s

Counts
627 → 627
Iterations
IterNodes
done5001
13991
01035

prune4.9s

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 0.0b

regimes598.0ms

Accuracy

80% (0.6b remaining)

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

bsearch500.0ms

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

simplify8.0ms

Iterations
IterNodes
done59
359
255
151
041

end0.0ms

sample3.8s

Algorithm
intervals
Results
3.0s17039×body80valid