Details

Time bar (total: 24.3s)

sample79.0ms

Algorithm
intervals
Results
57.0ms256×body80valid

simplify1.7s

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

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 25.3b

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

rewrite393.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:
124.0ms
(* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x)
74.0ms
(* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x)
37.0ms
(* (+ (* (+ x 43.3400022514) x) 263.505074721) x)
156.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))

series583.0ms

Counts
4 → 12
Calls
4 calls:
105.0ms
(* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x)
65.0ms
(* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x)
52.0ms
(* (+ (* (+ x 43.3400022514) x) 263.505074721) x)
360.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.6s

Counts
107 → 107
Iterations
IterNodes
done5007
22864
1688
0231

prune925.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.0b

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

rewrite444.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:
187.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)))
77.0ms
(* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x)
61.0ms
(* (+ (* (+ x 43.3400022514) x) 263.505074721) x)
117.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))

series690.0ms

Counts
4 → 12
Calls
4 calls:
307.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)))
59.0ms
(* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x)
45.0ms
(* (+ (* (+ x 43.3400022514) x) 263.505074721) x)
279.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.9s

Counts
127 → 127
Iterations
IterNodes
done5001
22618
1707
0249

prune1.1s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

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

rewrite380.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:
78.0ms
(* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x)
48.0ms
(* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x)
29.0ms
(* (+ (* (+ x 43.3400022514) x) 263.505074721) x)
223.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)))

series540.0ms

Counts
4 → 12
Calls
4 calls:
90.0ms
(* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x)
58.0ms
(* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x)
72.0ms
(* (+ (* (+ x 43.3400022514) x) 263.505074721) x)
320.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.3s

Counts
118 → 118
Iterations
IterNodes
done5000
22519
1708
0249

prune953.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.0b

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

rewrite533.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:
42.0ms
(sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))
54.0ms
(sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))
283.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))))
151.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)))

series983.0ms

Counts
4 → 12
Calls
4 calls:
108.0ms
(sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))
111.0ms
(sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))
313.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))))
450.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.8s

Counts
176 → 176
Iterations
IterNodes
done5001
22209
1734
0257

prune1.4s

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0.0b

regimes371.0ms

Accuracy

96.9% (0.8b remaining)

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

bsearch845.0ms

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

simplify19.0ms

Iterations
IterNodes
done60
160
041

end0.0ms

sample2.6s

Algorithm
intervals
Results
2.3s8007×body80valid