Details

Time bar (total: 19.0s)

sample49.0ms

Algorithm
intervals
Results
21.0ms268×body80valid

simplify37.0ms

Counts
1 → 1
Iterations
IterNodes
done49
449
347
238
126
015

prune29.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 8.7b

localize37.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ a (* (/ y t) b))
3.2b
(* (/ y t) z)
4.1b
(* (/ y t) b)
8.4b
(/ (+ (* (/ y t) z) x) (+ 1.0 (+ a (* (/ y t) b))))

rewrite120.0ms

Algorithm
rewrite-expression-head
Rules
39×add-sqr-sqrt
37×*-un-lft-identity
32×times-frac
29×add-cube-cbrt
26×associate-*l*
16×add-cbrt-cube add-exp-log
8×pow1
6×associate-*r* add-log-exp
4×associate-/r* prod-exp cbrt-unprod distribute-lft-out unswap-sqr
3×cbrt-undiv flip3-+ div-exp flip-+ div-inv associate-/l*
2×pow-prod-down associate-*l/ associate-/r/ *-commutative associate-/l/
1×+-commutative clear-num sum-log frac-2neg
Counts
4 → 110
Calls
4 calls:
9.0ms
(+ a (* (/ y t) b))
24.0ms
(* (/ y t) z)
23.0ms
(* (/ y t) b)
59.0ms
(/ (+ (* (/ y t) z) x) (+ 1.0 (+ a (* (/ y t) b))))

series770.0ms

Counts
4 → 12
Calls
4 calls:
41.0ms
(+ a (* (/ y t) b))
22.0ms
(* (/ y t) z)
31.0ms
(* (/ y t) b)
675.0ms
(/ (+ (* (/ y t) z) x) (+ 1.0 (+ a (* (/ y t) b))))

simplify1.3s

Counts
122 → 122
Iterations
IterNodes
done5001
22349
1487
0192

prune875.0ms

Pruning

14 alts after pruning (13 fresh and 1 done)

Merged error: 8.3b

localize35.0ms

Local error

Found 4 expressions with local error:

0.9b
(* (/ (* (cbrt y) (cbrt y)) (* (cbrt t) (cbrt t))) (/ (* (cbrt y) b) (cbrt t)))
1.9b
(/ (* (cbrt y) b) (cbrt t))
3.2b
(* (/ y t) z)
8.4b
(/ (+ (* (/ y t) z) x) (+ 1.0 (+ a (* (/ (* (cbrt y) (cbrt y)) (* (cbrt t) (cbrt t))) (/ (* (cbrt y) b) (cbrt t))))))

rewrite220.0ms

Algorithm
rewrite-expression-head
Rules
85×add-exp-log
43×add-cbrt-cube
37×add-sqr-sqrt *-un-lft-identity
36×times-frac
35×prod-exp cbrt-unprod
29×add-cube-cbrt
26×cbrt-undiv div-exp
18×associate-*l*
13×associate-*r*
10×associate-/r*
9×cbrt-prod
8×pow1
5×div-inv
4×distribute-lft-out associate-/l* add-log-exp unswap-sqr
2×clear-num frac-2neg flip3-+ pow-prod-down associate-*l/ associate-/r/ *-commutative flip-+ associate-/l/
1×frac-times associate-*r/
Counts
4 → 153
Calls
4 calls:
101.0ms
(* (/ (* (cbrt y) (cbrt y)) (* (cbrt t) (cbrt t))) (/ (* (cbrt y) b) (cbrt t)))
17.0ms
(/ (* (cbrt y) b) (cbrt t))
24.0ms
(* (/ y t) z)
72.0ms
(/ (+ (* (/ y t) z) x) (+ 1.0 (+ a (* (/ (* (cbrt y) (cbrt y)) (* (cbrt t) (cbrt t))) (/ (* (cbrt y) b) (cbrt t))))))

series732.0ms

Counts
4 → 12
Calls
4 calls:
25.0ms
(* (/ (* (cbrt y) (cbrt y)) (* (cbrt t) (cbrt t))) (/ (* (cbrt y) b) (cbrt t)))
96.0ms
(/ (* (cbrt y) b) (cbrt t))
32.0ms
(* (/ y t) z)
578.0ms
(/ (+ (* (/ y t) z) x) (+ 1.0 (+ a (* (/ (* (cbrt y) (cbrt y)) (* (cbrt t) (cbrt t))) (/ (* (cbrt y) b) (cbrt t))))))

simplify1.8s

Counts
165 → 165
Iterations
IterNodes
done5000
24947
1862
0293

prune1.4s

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 8.3b

localize70.0ms

Local error

Found 4 expressions with local error:

0.9b
(* (/ (* (cbrt y) (cbrt y)) (* (cbrt t) (cbrt t))) (/ (* (cbrt y) b) (cbrt t)))
1.7b
(/ (* (cbrt y) z) (cbrt t))
1.9b
(/ (* (cbrt y) b) (cbrt t))
8.4b
(/ (+ (* (/ (* (cbrt y) (cbrt y)) (* (cbrt t) (cbrt t))) (/ (* (cbrt y) z) (cbrt t))) x) (+ 1.0 (+ a (* (/ (* (cbrt y) (cbrt y)) (* (cbrt t) (cbrt t))) (/ (* (cbrt y) b) (cbrt t))))))

rewrite340.0ms

Algorithm
rewrite-expression-head
Rules
85×add-exp-log
40×add-cbrt-cube
34×prod-exp cbrt-unprod
33×*-un-lft-identity
32×times-frac
28×add-sqr-sqrt
27×cbrt-undiv div-exp
25×add-cube-cbrt
16×associate-/r*
15×cbrt-prod
10×associate-*r*
6×pow1
5×associate-*l* div-inv associate-/l*
4×distribute-lft-out add-log-exp
3×clear-num frac-2neg
2×flip3-+ associate-/r/ flip-+ unswap-sqr associate-/l/
1×frac-times pow-prod-down associate-*l/ associate-*r/ *-commutative
Counts
4 → 148
Calls
4 calls:
79.0ms
(* (/ (* (cbrt y) (cbrt y)) (* (cbrt t) (cbrt t))) (/ (* (cbrt y) b) (cbrt t)))
9.0ms
(/ (* (cbrt y) z) (cbrt t))
14.0ms
(/ (* (cbrt y) b) (cbrt t))
232.0ms
(/ (+ (* (/ (* (cbrt y) (cbrt y)) (* (cbrt t) (cbrt t))) (/ (* (cbrt y) z) (cbrt t))) x) (+ 1.0 (+ a (* (/ (* (cbrt y) (cbrt y)) (* (cbrt t) (cbrt t))) (/ (* (cbrt y) b) (cbrt t))))))

series912.0ms

Counts
4 → 12
Calls
4 calls:
45.0ms
(* (/ (* (cbrt y) (cbrt y)) (* (cbrt t) (cbrt t))) (/ (* (cbrt y) b) (cbrt t)))
115.0ms
(/ (* (cbrt y) z) (cbrt t))
115.0ms
(/ (* (cbrt y) b) (cbrt t))
637.0ms
(/ (+ (* (/ (* (cbrt y) (cbrt y)) (* (cbrt t) (cbrt t))) (/ (* (cbrt y) z) (cbrt t))) x) (+ 1.0 (+ a (* (/ (* (cbrt y) (cbrt y)) (* (cbrt t) (cbrt t))) (/ (* (cbrt y) b) (cbrt t))))))

simplify2.0s

Counts
160 → 160
Iterations
IterNodes
done5001
24481
1829
0278

prune1.5s

Pruning

13 alts after pruning (11 fresh and 2 done)

Merged error: 8.3b

localize51.0ms

Local error

Found 4 expressions with local error:

0.5b
(/ 1 (+ (+ (/ y (/ t b)) a) 1.0))
3.2b
(* (/ y t) z)
7.7b
(/ y (/ t b))
8.1b
(* (+ (* (/ y t) z) x) (/ 1 (+ (+ (/ y (/ t b)) a) 1.0)))

rewrite979.0ms

Algorithm
rewrite-expression-head
Rules
117×times-frac
110×*-un-lft-identity
86×add-sqr-sqrt
74×add-cube-cbrt
27×add-exp-log
24×associate-*r*
21×add-cbrt-cube distribute-lft-out
18×associate-/r*
16×associate-*l*
9×pow1
8×div-exp div-inv
6×cbrt-undiv prod-exp associate-/l*
5×associate-/r/ unswap-sqr
4×flip3-+ cbrt-unprod flip-+ add-log-exp
3×associate-*l/
2×frac-times rec-exp clear-num frac-2neg 1-exp pow-prod-down *-commutative
1×associate-*r/ un-div-inv pow-flip inv-pow
Counts
4 → 191
Calls
4 calls:
287.0ms
(/ 1 (+ (+ (/ y (/ t b)) a) 1.0))
23.0ms
(* (/ y t) z)
14.0ms
(/ y (/ t b))
647.0ms
(* (+ (* (/ y t) z) x) (/ 1 (+ (+ (/ y (/ t b)) a) 1.0)))

series851.0ms

Counts
4 → 12
Calls
4 calls:
208.0ms
(/ 1 (+ (+ (/ y (/ t b)) a) 1.0))
22.0ms
(* (/ y t) z)
23.0ms
(/ y (/ t b))
597.0ms
(* (+ (* (/ y t) z) x) (/ 1 (+ (+ (/ y (/ t b)) a) 1.0)))

simplify871.0ms

Counts
203 → 203
Iterations
IterNodes
done5000
1849
0315

prune1.2s

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 8.3b

regimes1.2s

Accuracy

33.2% (1.9b remaining)

Error of 13.5b against oracle of 11.6b and baseline of 14.5b

bsearch88.0ms

Steps
ItersRangePoint
8
-3.1625723931677286e-72
-9.808622989375704e-77
-1.4880807140235873e-72

simplify7.0ms

Iterations
IterNodes
done45
145
033

end0.0ms

sample1.5s

Algorithm
intervals
Results
888.0ms8277×body80valid