Details

Time bar (total: 21.9s)

sample38.0ms

Algorithm
intervals
Results
21.0ms256×body80valid

simplify1.8s

Counts
1 → 1
Iterations
IterNodes
done5003
41689
3453
2136
155
029

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 25.3b

localize66.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x)
0.0b
(* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x)
0.0b
(* (+ (* (+ x 43.3400022514) x) 263.505074721) x)
25.3b
(/ (* (- x 2.0) (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z)) (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))

rewrite362.0ms

Algorithm
rewrite-expression-head
Rules
18×add-sqr-sqrt
15×add-cbrt-cube add-exp-log
12×*-un-lft-identity add-cube-cbrt
10×pow1
9×associate-*r* associate-*l*
8×associate-*l/ associate-/l/
7×flip3-+ flip-+
4×frac-times prod-exp cbrt-unprod insert-posit16 add-log-exp
3×associate-/r* times-frac flip3-- pow-prod-down *-commutative flip-- unswap-sqr
2×cbrt-undiv div-exp associate-*r/ associate-/r/
1×clear-num frac-2neg div-inv associate-/l*
Counts
4 → 95
Calls
4 calls:
86.0ms
(* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x)
49.0ms
(* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x)
44.0ms
(* (+ (* (+ x 43.3400022514) x) 263.505074721) x)
182.0ms
(/ (* (- x 2.0) (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z)) (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))

series506.0ms

Counts
4 → 12
Calls
4 calls:
85.0ms
(* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x)
56.0ms
(* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x)
44.0ms
(* (+ (* (+ x 43.3400022514) x) 263.505074721) x)
321.0ms
(/ (* (- x 2.0) (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z)) (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))

simplify2.5s

Counts
107 → 107
Iterations
IterNodes
done5007
22864
1688
0231

prune793.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.0b

localize69.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (- x 2.0) (/ (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z) (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606)))
0.0b
(* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x)
0.0b
(* (+ (* (+ x 43.3400022514) x) 263.505074721) x)
24.1b
(/ (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z) (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))

rewrite377.0ms

Algorithm
rewrite-expression-head
Rules
35×add-sqr-sqrt
26×*-un-lft-identity
24×add-cube-cbrt
21×associate-*r*
19×times-frac
15×add-cbrt-cube add-exp-log
11×associate-*l*
10×pow1
6×associate-*l/
5×flip3-+ flip-+
4×prod-exp associate-/r/ cbrt-unprod insert-posit16 add-log-exp unswap-sqr
3×associate-/r* pow-prod-down *-commutative associate-/l*
2×frac-times cbrt-undiv flip3-- div-exp div-inv flip-- associate-/l/
1×clear-num frac-2neg associate-*r/ distribute-lft-out-- difference-of-squares
Counts
4 → 115
Calls
4 calls:
140.0ms
(* (- x 2.0) (/ (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z) (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606)))
48.0ms
(* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x)
44.0ms
(* (+ (* (+ x 43.3400022514) x) 263.505074721) x)
144.0ms
(/ (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z) (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))

series617.0ms

Counts
4 → 12
Calls
4 calls:
291.0ms
(* (- x 2.0) (/ (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z) (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606)))
48.0ms
(* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x)
37.0ms
(* (+ (* (+ x 43.3400022514) x) 263.505074721) x)
240.0ms
(/ (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z) (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))

simplify1.8s

Counts
127 → 127
Iterations
IterNodes
done5001
22618
1707
0249

prune1.0s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize88.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x)
0.0b
(* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x)
0.0b
(* (+ (* (+ x 43.3400022514) x) 263.505074721) x)
24.4b
(* (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z) (/ 1 (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606)))

rewrite438.0ms

Algorithm
rewrite-expression-head
Rules
31×add-sqr-sqrt
24×associate-*r*
19×*-un-lft-identity add-exp-log
18×add-cube-cbrt
15×add-cbrt-cube
12×pow1 associate-*l*
11×times-frac
8×associate-*l/
7×prod-exp
6×flip3-+ flip-+ unswap-sqr
5×cbrt-unprod
4×pow-prod-down *-commutative insert-posit16 add-log-exp
2×frac-times div-exp associate-/r/
1×cbrt-undiv rec-exp 1-exp associate-*r/ un-div-inv div-inv
Counts
4 → 106
Calls
4 calls:
70.0ms
(* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x)
63.0ms
(* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x)
29.0ms
(* (+ (* (+ x 43.3400022514) x) 263.505074721) x)
274.0ms
(* (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z) (/ 1 (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606)))

series426.0ms

Counts
4 → 12
Calls
4 calls:
70.0ms
(* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x)
54.0ms
(* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x)
54.0ms
(* (+ (* (+ x 43.3400022514) x) 263.505074721) x)
248.0ms
(* (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z) (/ 1 (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606)))

simplify2.4s

Counts
118 → 118
Iterations
IterNodes
done5000
22519
1708
0249

prune845.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.0b

localize84.0ms

Local error

Found 4 expressions with local error:

6.3b
(sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))
6.3b
(sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))
16.7b
(* (/ 1 (sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))) (/ (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z) (sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))))
21.0b
(/ (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z) (sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606)))

rewrite507.0ms

Algorithm
rewrite-expression-head
Rules
95×add-sqr-sqrt
76×times-frac
53×*-un-lft-identity
47×add-cube-cbrt sqrt-prod
28×add-exp-log
24×associate-*r* associate-*l*
18×add-cbrt-cube
15×unswap-sqr
10×sqrt-div
9×div-exp
8×pow1 prod-exp
6×associate-/r* flip3-+ associate-/r/ flip-+
5×cbrt-undiv
4×cbrt-unprod insert-posit16 add-log-exp
3×div-inv associate-/l*
2×rem-sqrt-square rec-exp sqrt-pow1 pow1/2 1-exp associate-/l/
1×frac-times clear-num frac-2neg pow-prod-down associate-*l/ associate-*r/ *-commutative
Counts
4 → 164
Calls
4 calls:
32.0ms
(sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))
56.0ms
(sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))
296.0ms
(* (/ 1 (sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))) (/ (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z) (sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))))
117.0ms
(/ (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z) (sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606)))

series823.0ms

Counts
4 → 12
Calls
4 calls:
78.0ms
(sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))
93.0ms
(sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))
248.0ms
(* (/ 1 (sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))) (/ (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z) (sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))))
404.0ms
(/ (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z) (sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606)))

simplify2.2s

Counts
176 → 176
Iterations
IterNodes
done5001
22209
1734
0257

prune1.3s

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0.0b

regimes308.0ms

Accuracy

96.9% (0.8b remaining)

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

bsearch421.0ms

Steps
ItersRangePoint
8
6.68994686148466e+41
4.921254434932496e+45
1.692613215272597e+44
8
-5.5526078831285184e+17
-22511205481733.605
-5.140336158145698e+17

simplify11.0ms

Iterations
IterNodes
done60
160
041

end0.0ms

sample2.1s

Algorithm
intervals
Results
1.9s8007×body80valid