Details

Time bar (total: 55.7s)

sample151.0ms

Algorithm
intervals
Results
38.0ms268×body80valid

simplify493.0ms

Counts
1 → 1
Iterations
IterNodes
done47
547
445
341
235
126
015

prune67.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 16.5b

localize130.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ x (/ (* y z) t))
4.5b
(/ (* y z) t)
5.3b
(/ (* y b) t)
10.9b
(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

rewrite849.0ms

Algorithm
rewrite-expression-head
Rules
58×*-un-lft-identity
26×times-frac
22×distribute-lft-out
19×add-sqr-sqrt add-cube-cbrt
16×add-exp-log add-cbrt-cube
11×associate-/r*
6×associate-/l* add-log-exp
5×cbrt-undiv div-exp
4×pow1 flip3-+ associate-/r/ flip-+
3×frac-2neg clear-num div-inv
2×frac-add prod-exp cbrt-unprod associate-/l/
1×+-commutative sum-log
Counts
4 → 101
Calls
4 calls:
51.0ms
(+ x (/ (* y z) t))
141.0ms
(/ (* y z) t)
30.0ms
(/ (* y b) t)
566.0ms
(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

series1.2s

Counts
4 → 12
Calls
4 calls:
308.0ms
(+ x (/ (* y z) t))
54.0ms
(/ (* y z) t)
60.0ms
(/ (* y b) t)
826.0ms
(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

simplify6.6s

Counts
113 → 113
Iterations
IterNodes
done5001
21726
1476
0179

prune1.9s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 10.6b

localize139.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt t)
3.1b
(* (/ y (* (cbrt t) (cbrt t))) (/ b (cbrt t)))
4.5b
(/ (* y z) t)
10.9b
(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (* (/ y (* (cbrt t) (cbrt t))) (/ b (cbrt t)))))

rewrite459.0ms

Algorithm
rewrite-expression-head
Rules
47×add-sqr-sqrt
43×times-frac
39×*-un-lft-identity
32×add-exp-log
31×add-cube-cbrt
25×add-cbrt-cube
22×associate-*r*
14×cbrt-prod
10×cbrt-undiv div-exp
9×prod-exp cbrt-unprod
8×associate-/r/
7×associate-*l*
6×pow1 frac-add associate-/r* unswap-sqr
5×flip3-+ flip-+ associate-/l*
4×div-inv distribute-lft-out add-log-exp
3×frac-times associate-*r/ associate-*l/
2×frac-2neg clear-num associate-/l/
1×pow1/3 pow-prod-down *-commutative
Counts
4 → 132
Calls
4 calls:
3.0ms
(cbrt t)
181.0ms
(* (/ y (* (cbrt t) (cbrt t))) (/ b (cbrt t)))
22.0ms
(/ (* y z) t)
221.0ms
(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (* (/ y (* (cbrt t) (cbrt t))) (/ b (cbrt t)))))

series1.2s

Counts
4 → 12
Calls
4 calls:
464.0ms
(cbrt t)
82.0ms
(* (/ y (* (cbrt t) (cbrt t))) (/ b (cbrt t)))
145.0ms
(/ (* y z) t)
498.0ms
(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (* (/ y (* (cbrt t) (cbrt t))) (/ b (cbrt t)))))

simplify5.2s

Counts
144 → 144
Iterations
IterNodes
done5001
23473
1839
0283

prune2.8s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 10.1b

localize125.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt t)
3.1b
(* (/ y (* (cbrt t) (cbrt t))) (/ b (cbrt t)))
3.6b
(* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))
10.9b
(/ (+ x (* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))) (+ (+ a 1.0) (* (/ y (* (cbrt t) (cbrt t))) (/ b (cbrt t)))))

rewrite609.0ms

Algorithm
rewrite-expression-head
Rules
75×add-sqr-sqrt
65×times-frac
48×add-exp-log
44×associate-*r*
43×add-cube-cbrt *-un-lft-identity
34×add-cbrt-cube
25×cbrt-prod
16×prod-exp cbrt-unprod
15×cbrt-undiv div-exp
14×associate-*l*
12×unswap-sqr
8×pow1 associate-/r/
6×frac-add
5×flip3-+ flip-+ div-inv
4×frac-times associate-*r/ associate-*l/ add-log-exp
3×associate-/r* associate-/l*
2×pow-prod-down *-commutative associate-/l/
1×frac-2neg pow1/3 clear-num
Counts
4 → 166
Calls
4 calls:
2.0ms
(cbrt t)
183.0ms
(* (/ y (* (cbrt t) (cbrt t))) (/ b (cbrt t)))
107.0ms
(* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))
286.0ms
(/ (+ x (* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))) (+ (+ a 1.0) (* (/ y (* (cbrt t) (cbrt t))) (/ b (cbrt t)))))

series1.5s

Counts
4 → 12
Calls
4 calls:
344.0ms
(cbrt t)
102.0ms
(* (/ y (* (cbrt t) (cbrt t))) (/ b (cbrt t)))
88.0ms
(* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))
920.0ms
(/ (+ x (* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))) (+ (+ a 1.0) (* (/ y (* (cbrt t) (cbrt t))) (/ b (cbrt t)))))

simplify7.5s

Counts
178 → 178
Iterations
IterNodes
done5004
24200
1989
0321

prune4.0s

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 10.1b

localize291.0ms

Local error

Found 4 expressions with local error:

1.6b
(/ (* (/ y (* (cbrt t) (cbrt t))) b) (cbrt t))
3.6b
(* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))
3.7b
(* (/ y (* (cbrt t) (cbrt t))) b)
10.9b
(/ (+ x (* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))) (+ (+ a 1.0) (/ (* (/ y (* (cbrt t) (cbrt t))) b) (cbrt t))))

rewrite586.0ms

Algorithm
rewrite-expression-head
Rules
56×add-sqr-sqrt *-un-lft-identity
53×times-frac
50×add-exp-log
36×add-cube-cbrt
35×add-cbrt-cube
25×associate-*r*
17×cbrt-prod
16×cbrt-undiv div-exp prod-exp cbrt-unprod
14×associate-*l*
12×distribute-lft-out
11×associate-/r*
8×pow1 unswap-sqr
5×div-inv
4×associate-/r/ associate-/l* add-log-exp
3×flip3-+ associate-*l/ flip-+ associate-/l/
2×frac-2neg pow-prod-down frac-add clear-num *-commutative
1×frac-times associate-*r/
Counts
4 → 160
Calls
4 calls:
61.0ms
(/ (* (/ y (* (cbrt t) (cbrt t))) b) (cbrt t))
100.0ms
(* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))
154.0ms
(* (/ y (* (cbrt t) (cbrt t))) b)
257.0ms
(/ (+ x (* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))) (+ (+ a 1.0) (/ (* (/ y (* (cbrt t) (cbrt t))) b) (cbrt t))))

series2.1s

Counts
4 → 12
Calls
4 calls:
182.0ms
(/ (* (/ y (* (cbrt t) (cbrt t))) b) (cbrt t))
527.0ms
(* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))
434.0ms
(* (/ y (* (cbrt t) (cbrt t))) b)
938.0ms
(/ (+ x (* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))) (+ (+ a 1.0) (/ (* (/ y (* (cbrt t) (cbrt t))) b) (cbrt t))))

simplify9.5s

Counts
172 → 172
Iterations
IterNodes
done5001
23075
1847
0299

prune3.5s

Pruning

11 alts after pruning (9 fresh and 2 done)

Merged error: 10.1b

regimes1.7s

Accuracy

15% (3.9b remaining)

Error of 14.1b against oracle of 10.2b and baseline of 14.8b

bsearch559.0ms

Steps
ItersRangePoint
9
1.6694839481005996e-298
1.0816407975035521e-291
4.727405801907534e-292
8
-3.043480171686691e-61
-9.050756944828755e-64
-6.704413920161662e-62

simplify17.0ms

Iterations
IterNodes
done51
151
036

end0.0ms

sample2.5s

Algorithm
intervals
Results
1.8s8288×body80valid