Details

Time bar (total: 18.5s)

sample55.0ms

Algorithm
intervals
Results
34.0ms272×body80valid

simplify2.1s

Counts
1 → 1
Iterations
IterNodes
done5000
82713
71331
6448
5184
4101
360
235
123
013

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 6.8b

localize23.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ x (/ (- (* y z) x) (- (* t z) x)))
0.0b
(/ (+ x (/ (- (* y z) x) (- (* t z) x))) (+ x 1.0))
10.0b
(/ (- (* y z) x) (- (* t z) x))

rewrite262.0ms

Algorithm
rewrite-expression-head
Rules
43×*-un-lft-identity
25×times-frac
21×add-sqr-sqrt add-cube-cbrt
11×distribute-lft-out
7×associate-/r* add-cbrt-cube add-exp-log associate-/l*
5×add-log-exp
4×div-sub associate-/r/ associate-/l/
3×pow1 flip3-+ flip-+ insert-posit16
2×cbrt-undiv clear-num associate-+r- frac-2neg flip3-- div-exp div-inv flip--
1×+-commutative sum-log
Counts
3 → 89
Calls
3 calls:
35.0ms
(+ x (/ (- (* y z) x) (- (* t z) x)))
176.0ms
(/ (+ x (/ (- (* y z) x) (- (* t z) x))) (+ x 1.0))
48.0ms
(/ (- (* y z) x) (- (* t z) x))

series390.0ms

Counts
3 → 9
Calls
3 calls:
119.0ms
(+ x (/ (- (* y z) x) (- (* t z) x)))
163.0ms
(/ (+ x (/ (- (* y z) x) (- (* t z) x))) (+ x 1.0))
108.0ms
(/ (- (* y z) x) (- (* t z) x))

simplify2.7s

Counts
98 → 98
Iterations
IterNodes
done5010
34720
21184
1395
0152

prune515.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.2b

localize47.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ x (/ 1 (/ (- (* t z) x) (- (* y z) x))))
0.0b
(/ (+ x (/ 1 (/ (- (* t z) x) (- (* y z) x)))) (+ x 1.0))
0.4b
(/ 1 (/ (- (* t z) x) (- (* y z) x)))
9.9b
(/ (- (* t z) x) (- (* y z) x))

rewrite221.0ms

Algorithm
rewrite-expression-head
Rules
110×times-frac
97×*-un-lft-identity
67×add-sqr-sqrt add-cube-cbrt
22×associate-/r*
19×add-exp-log
18×distribute-lft-out
13×add-cbrt-cube associate-/r/ div-inv
11×associate-/l*
9×div-exp
6×flip3-- flip-- add-log-exp
5×pow1 cbrt-undiv
4×insert-posit16 associate-/l/
3×clear-num frac-2neg flip3-+ flip-+
2×rec-exp 1-exp
1×+-commutative sum-log div-sub pow-flip inv-pow
Counts
4 → 178
Calls
4 calls:
34.0ms
(+ x (/ 1 (/ (- (* t z) x) (- (* y z) x))))
132.0ms
(/ (+ x (/ 1 (/ (- (* t z) x) (- (* y z) x)))) (+ x 1.0))
26.0ms
(/ 1 (/ (- (* t z) x) (- (* y z) x)))
24.0ms
(/ (- (* t z) x) (- (* y z) x))

series607.0ms

Counts
4 → 12
Calls
4 calls:
170.0ms
(+ x (/ 1 (/ (- (* t z) x) (- (* y z) x))))
204.0ms
(/ (+ x (/ 1 (/ (- (* t z) x) (- (* y z) x)))) (+ x 1.0))
146.0ms
(/ 1 (/ (- (* t z) x) (- (* y z) x)))
88.0ms
(/ (- (* t z) x) (- (* y z) x))

simplify2.3s

Counts
190 → 190
Iterations
IterNodes
done5006
22103
1691
0264

prune877.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.2b

localize39.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (/ 1 (/ (- (* t z) x) (- (* y z) x))) x)
0.0b
(/ (+ (/ 1 (/ (- (* t z) x) (- (* y z) x))) x) (+ x 1.0))
0.4b
(/ 1 (/ (- (* t z) x) (- (* y z) x)))
9.9b
(/ (- (* t z) x) (- (* y z) x))

rewrite413.0ms

Algorithm
rewrite-expression-head
Rules
110×times-frac
97×*-un-lft-identity
67×add-sqr-sqrt add-cube-cbrt
22×associate-/r*
19×add-exp-log
18×distribute-lft-out
13×add-cbrt-cube associate-/r/ div-inv
11×associate-/l*
9×div-exp
6×flip3-- flip-- add-log-exp
5×pow1 cbrt-undiv
4×insert-posit16 associate-/l/
3×clear-num frac-2neg flip3-+ flip-+
2×rec-exp 1-exp
1×+-commutative sum-log div-sub pow-flip inv-pow
Counts
4 → 178
Calls
4 calls:
116.0ms
(+ (/ 1 (/ (- (* t z) x) (- (* y z) x))) x)
238.0ms
(/ (+ (/ 1 (/ (- (* t z) x) (- (* y z) x))) x) (+ x 1.0))
25.0ms
(/ 1 (/ (- (* t z) x) (- (* y z) x)))
30.0ms
(/ (- (* t z) x) (- (* y z) x))

series493.0ms

Counts
4 → 12
Calls
4 calls:
93.0ms
(+ (/ 1 (/ (- (* t z) x) (- (* y z) x))) x)
182.0ms
(/ (+ (/ 1 (/ (- (* t z) x) (- (* y z) x))) x) (+ x 1.0))
116.0ms
(/ 1 (/ (- (* t z) x) (- (* y z) x)))
101.0ms
(/ (- (* t z) x) (- (* y z) x))

simplify2.0s

Counts
190 → 190
Iterations
IterNodes
done5004
22406
1730
0277

prune883.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.2b

localize42.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ (+ x (/ 1 (* (- (* t z) x) (/ 1 (- (* y z) x))))) (+ x 1.0))
0.2b
(/ 1 (- (* y z) x))
0.4b
(/ 1 (* (- (* t z) x) (/ 1 (- (* y z) x))))
9.9b
(* (- (* t z) x) (/ 1 (- (* y z) x)))

rewrite243.0ms

Algorithm
rewrite-expression-head
Rules
61×*-un-lft-identity
54×add-exp-log
43×times-frac
40×add-sqr-sqrt
33×add-cube-cbrt
22×add-cbrt-cube
21×div-exp
16×prod-exp distribute-lft-out
15×associate-*r*
12×associate-/r/
11×associate-/l*
10×pow1 rec-exp 1-exp
9×div-inv
8×associate-/r*
7×cbrt-undiv
6×flip3-- flip--
4×frac-times associate-*l/ cbrt-unprod insert-posit16 add-log-exp
3×clear-num frac-2neg associate-*l* pow-flip unswap-sqr
2×flip3-+ pow-prod-down associate-*r/ un-div-inv flip-+ inv-pow associate-/l/
1×*-commutative
Counts
4 → 168
Calls
4 calls:
111.0ms
(/ (+ x (/ 1 (* (- (* t z) x) (/ 1 (- (* y z) x))))) (+ x 1.0))
15.0ms
(/ 1 (- (* y z) x))
45.0ms
(/ 1 (* (- (* t z) x) (/ 1 (- (* y z) x))))
69.0ms
(* (- (* t z) x) (/ 1 (- (* y z) x)))

series479.0ms

Counts
4 → 12
Calls
4 calls:
201.0ms
(/ (+ x (/ 1 (* (- (* t z) x) (/ 1 (- (* y z) x))))) (+ x 1.0))
35.0ms
(/ 1 (- (* y z) x))
139.0ms
(/ 1 (* (- (* t z) x) (/ 1 (- (* y z) x))))
103.0ms
(* (- (* t z) x) (/ 1 (- (* y z) x)))

simplify1.6s

Counts
180 → 180
Iterations
IterNodes
done5000
21662
1600
0227

prune631.0ms

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0.2b

regimes352.0ms

Accuracy

61.2% (2.5b remaining)

Error of 3.4b against oracle of 0.9b and baseline of 7.3b

bsearch129.0ms

Steps
ItersRangePoint
8
3.73373204307318e+54
1.429091952413382e+57
1.2840647236389548e+57
8
-7.256050126022869e+77
-1.2668005615985163e+75
-1.1409575287436362e+77

simplify17.0ms

Iterations
IterNodes
done34
134
024

end0.0ms

sample944.0ms

Algorithm
intervals
Results
718.0ms8327×body80valid