Details

Time bar (total: 18.1s)

sample41.0ms

Algorithm
intervals
Results
18.0ms278×body80valid

simplify115.0ms

Counts
1 → 1

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 7.5b

localize19.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ 1.0 (* z z))
3.8b
(* y (+ 1.0 (* z z)))
3.8b
(/ (/ 1.0 x) (* y (+ 1.0 (* z z))))

rewrite72.0ms

Algorithm
rewrite-expression-head
Rules
31×times-frac
21×add-sqr-sqrt
19×add-cube-cbrt *-un-lft-identity
17×add-exp-log add-cbrt-cube
13×associate-/l*
6×cbrt-undiv div-exp
5×pow1 add-log-exp
4×associate-*r/
3×flip3-+ associate-*r* associate-*l* prod-exp cbrt-unprod flip-+ div-inv
2×associate-/r/
1×+-commutative distribute-rgt-in frac-2neg distribute-lft-in pow-prod-down clear-num associate-/r* sum-log *-commutative associate-/l/ unswap-sqr
Counts
3 → 81
Calls
3 calls:
6.0ms
(+ 1.0 (* z z))
30.0ms
(* y (+ 1.0 (* z z)))
33.0ms
(/ (/ 1.0 x) (* y (+ 1.0 (* z z))))

series204.0ms

Counts
3 → 9
Calls
3 calls:
50.0ms
(+ 1.0 (* z z))
80.0ms
(* y (+ 1.0 (* z z)))
74.0ms
(/ (/ 1.0 x) (* y (+ 1.0 (* z z))))

simplify895.0ms

Counts
90 → 90

prune335.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 5.9b

localize19.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ 1.0 (* z z))
3.2b
(* (/ 1 y) (/ (/ 1.0 x) (+ 1.0 (* z z))))
4.6b
(/ (/ 1.0 x) (+ 1.0 (* z z)))

rewrite177.0ms

Algorithm
rewrite-expression-head
Rules
165×times-frac
117×add-sqr-sqrt
90×*-un-lft-identity
87×add-cube-cbrt
47×add-exp-log
45×associate-*r*
29×add-cbrt-cube
21×div-exp
13×associate-*l* associate-/l*
12×cbrt-undiv prod-exp
10×div-inv
9×unswap-sqr
6×cbrt-unprod
5×pow1 add-log-exp
4×associate-/r/
3×rec-exp flip3-+ 1-exp associate-/r* flip-+
1×+-commutative frac-times frac-2neg associate-*r/ pow-prod-down associate-*l/ clear-num sum-log *-commutative associate-/l/
Counts
3 → 180
Calls
3 calls:
11.0ms
(+ 1.0 (* z z))
104.0ms
(* (/ 1 y) (/ (/ 1.0 x) (+ 1.0 (* z z))))
42.0ms
(/ (/ 1.0 x) (+ 1.0 (* z z)))

series212.0ms

Counts
3 → 9
Calls
3 calls:
41.0ms
(+ 1.0 (* z z))
87.0ms
(* (/ 1 y) (/ (/ 1.0 x) (+ 1.0 (* z z))))
84.0ms
(/ (/ 1.0 x) (+ 1.0 (* z z)))

simplify1.4s

Counts
189 → 189

prune976.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 5.8b

localize31.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ 1.0 (* z z))
0.4b
(/ (/ (* (cbrt 1.0) (cbrt 1.0)) 1) (/ (+ 1.0 (* z z)) (/ (cbrt 1.0) x)))
3.2b
(* (/ 1 y) (/ (/ (* (cbrt 1.0) (cbrt 1.0)) 1) (/ (+ 1.0 (* z z)) (/ (cbrt 1.0) x))))
4.4b
(/ (+ 1.0 (* z z)) (/ (cbrt 1.0) x))

rewrite604.0ms

Algorithm
rewrite-expression-head
Rules
3501×times-frac
1463×add-sqr-sqrt
1328×*-un-lft-identity
1303×add-cube-cbrt
502×associate-*r*
450×cbrt-prod
378×add-exp-log
245×div-exp
211×div-inv
121×add-cbrt-cube
94×prod-exp
93×associate-/r*
85×cbrt-undiv
46×1-exp
39×unswap-sqr
29×cbrt-unprod
18×associate-/r/
16×rec-exp
13×associate-*l*
10×associate-/l*
6×pow1 add-log-exp
3×associate-/l/
2×frac-2neg flip3-+ clear-num flip-+
1×+-commutative frac-times associate-*r/ pow-prod-down associate-*l/ sum-log *-commutative
Counts
4 → 1380
Calls
4 calls:
6.0ms
(+ 1.0 (* z z))
48.0ms
(/ (/ (* (cbrt 1.0) (cbrt 1.0)) 1) (/ (+ 1.0 (* z z)) (/ (cbrt 1.0) x)))
327.0ms
(* (/ 1 y) (/ (/ (* (cbrt 1.0) (cbrt 1.0)) 1) (/ (+ 1.0 (* z z)) (/ (cbrt 1.0) x))))
49.0ms
(/ (+ 1.0 (* z z)) (/ (cbrt 1.0) x))

series600.0ms

Counts
4 → 12
Calls
4 calls:
55.0ms
(+ 1.0 (* z z))
128.0ms
(/ (/ (* (cbrt 1.0) (cbrt 1.0)) 1) (/ (+ 1.0 (* z z)) (/ (cbrt 1.0) x)))
242.0ms
(* (/ 1 y) (/ (/ (* (cbrt 1.0) (cbrt 1.0)) 1) (/ (+ 1.0 (* z z)) (/ (cbrt 1.0) x))))
174.0ms
(/ (+ 1.0 (* z z)) (/ (cbrt 1.0) x))

simplify1.5s

Counts
1392 → 1392

prune6.5s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 5.8b

localize18.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ 1.0 (* z z))
0.2b
(/ (/ 1.0 y) x)
6.4b
(/ (/ (/ 1.0 y) x) (+ 1.0 (* z z)))

rewrite85.0ms

Algorithm
rewrite-expression-head
Rules
468×times-frac
229×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
56×associate-/l*
22×div-inv
17×add-exp-log add-cbrt-cube
9×cbrt-undiv div-exp
6×associate-/r*
5×add-log-exp
3×pow1
2×frac-2neg flip3-+ clear-num associate-/r/ flip-+ associate-/l/
1×+-commutative sum-log
Counts
3 → 275
Calls
3 calls:
7.0ms
(+ 1.0 (* z z))
11.0ms
(/ (/ 1.0 y) x)
37.0ms
(/ (/ (/ 1.0 y) x) (+ 1.0 (* z z)))

series150.0ms

Counts
3 → 9
Calls
3 calls:
40.0ms
(+ 1.0 (* z z))
30.0ms
(/ (/ 1.0 y) x)
80.0ms
(/ (/ (/ 1.0 y) x) (+ 1.0 (* z z)))

simplify1.3s

Counts
284 → 284

prune1.0s

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 5.8b

regimes232.0ms

Accuracy

4.3% (1.4b remaining)

Error of 6.5b against oracle of 5.1b and baseline of 6.6b

bsearch0.0ms

simplify738.0ms

end0.0ms

sample837.0ms

Algorithm
intervals
Results
494.0ms8596×body80valid