Details

Time bar (total: 15.9s)

sample30.0ms

Algorithm
intervals
Results
14.0ms269×body80valid

simplify36.0ms

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

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 18.0b

localize21.0ms

Local error

Found 3 expressions with local error:

4.4b
(/ (* y z) t)
5.2b
(/ (* y b) t)
14.0b
(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

rewrite73.0ms

Algorithm
rewrite-expression-head
Rules
55×*-un-lft-identity
26×times-frac
21×distribute-lft-out
18×add-sqr-sqrt add-cube-cbrt
15×add-cbrt-cube add-exp-log
11×associate-/r*
6×associate-/l*
5×cbrt-undiv div-exp
4×associate-/r/
3×pow1 clear-num frac-2neg flip3-+ flip-+ div-inv add-log-exp
2×frac-add prod-exp cbrt-unprod associate-/l/
Counts
3 → 89
Calls
3 calls:
7.0ms
(/ (* y z) t)
7.0ms
(/ (* y b) t)
56.0ms
(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

series190.0ms

Counts
3 → 9
Calls
3 calls:
19.0ms
(/ (* y z) t)
23.0ms
(/ (* y b) t)
147.0ms
(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

simplify1.4s

Counts
98 → 98
Iterations
IterNodes
done5002
21690
1454
0171

prune623.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 13.7b

localize38.0ms

Local error

Found 3 expressions with local error:

4.4b
(/ (* y z) t)
4.5b
(/ y (/ t b))
14.0b
(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ y (/ t b))))

rewrite115.0ms

Algorithm
rewrite-expression-head
Rules
98×times-frac
95×*-un-lft-identity
58×add-sqr-sqrt add-cube-cbrt
21×associate-/r* distribute-lft-out
15×add-cbrt-cube add-exp-log
8×associate-/l*
7×div-inv
6×cbrt-undiv div-exp
5×associate-/r/
3×pow1 clear-num frac-2neg flip3-+ flip-+ add-log-exp
2×frac-add associate-/l/
1×prod-exp cbrt-unprod
Counts
3 → 138
Calls
3 calls:
9.0ms
(/ (* y z) t)
8.0ms
(/ y (/ t b))
91.0ms
(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ y (/ t b))))

series184.0ms

Counts
3 → 9
Calls
3 calls:
24.0ms
(/ (* y z) t)
31.0ms
(/ y (/ t b))
128.0ms
(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ y (/ t b))))

simplify1.5s

Counts
147 → 147
Iterations
IterNodes
done5001
22273
1709
0275

prune1.0s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 12.5b

localize26.0ms

Local error

Found 3 expressions with local error:

4.2b
(/ y (/ t z))
4.5b
(/ y (/ t b))
14.0b
(/ (+ x (/ y (/ t z))) (+ (+ a 1.0) (/ y (/ t b))))

rewrite203.0ms

Algorithm
rewrite-expression-head
Rules
170×times-frac
135×*-un-lft-identity
98×add-sqr-sqrt add-cube-cbrt
31×associate-/r*
21×distribute-lft-out
15×add-cbrt-cube add-exp-log
11×div-inv
10×associate-/l*
7×cbrt-undiv div-exp
6×associate-/r/
3×pow1 clear-num frac-2neg flip3-+ flip-+ add-log-exp
2×frac-add associate-/l/
Counts
3 → 187
Calls
3 calls:
11.0ms
(/ y (/ t z))
10.0ms
(/ y (/ t b))
172.0ms
(/ (+ x (/ y (/ t z))) (+ (+ a 1.0) (/ y (/ t b))))

series355.0ms

Counts
3 → 9
Calls
3 calls:
27.0ms
(/ y (/ t z))
32.0ms
(/ y (/ t b))
297.0ms
(/ (+ x (/ y (/ t z))) (+ (+ a 1.0) (/ y (/ t b))))

simplify1.8s

Counts
196 → 196
Iterations
IterNodes
done5004
22761
1887
0348

prune1.2s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 12.4b

localize36.0ms

Local error

Found 4 expressions with local error:

1.0b
(/ 1 (/ (+ (+ a 1.0) (/ y (/ t b))) (+ x (/ y (/ t z)))))
4.2b
(/ y (/ t z))
4.5b
(/ y (/ t b))
13.8b
(/ (+ (+ a 1.0) (/ y (/ t b))) (+ x (/ y (/ t z))))

rewrite350.0ms

Algorithm
rewrite-expression-head
Rules
328×times-frac
323×*-un-lft-identity
166×add-sqr-sqrt add-cube-cbrt
89×distribute-lft-out
56×associate-/r*
27×add-exp-log
21×add-cbrt-cube
16×div-inv
14×div-exp associate-/l*
13×associate-/r/
10×cbrt-undiv
7×flip3-+ flip-+
5×pow1
4×clear-num frac-2neg add-log-exp associate-/l/
2×rec-exp 1-exp frac-add
1×pow-flip inv-pow
Counts
4 → 315
Calls
4 calls:
118.0ms
(/ 1 (/ (+ (+ a 1.0) (/ y (/ t b))) (+ x (/ y (/ t z)))))
11.0ms
(/ y (/ t z))
8.0ms
(/ y (/ t b))
189.0ms
(/ (+ (+ a 1.0) (/ y (/ t b))) (+ x (/ y (/ t z))))

series1.1s

Counts
4 → 12
Calls
4 calls:
527.0ms
(/ 1 (/ (+ (+ a 1.0) (/ y (/ t b))) (+ x (/ y (/ t z)))))
23.0ms
(/ y (/ t z))
39.0ms
(/ y (/ t b))
532.0ms
(/ (+ (+ a 1.0) (/ y (/ t b))) (+ x (/ y (/ t z))))

simplify2.1s

Counts
327 → 327
Iterations
IterNodes
done5000
23520
11171
0451

prune1.6s

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 12.4b

regimes778.0ms

Accuracy

38.1% (4.0b remaining)

Error of 13.5b against oracle of 9.5b and baseline of 15.9b

bsearch214.0ms

Steps
ItersRangePoint
10
4.1848617256381155e-218
1.1712559223159123e-206
1.1596870659198286e-206
9
-1.9871488567097267e-42
-1.9398106403619066e-50
-4.147142268992736e-47

simplify13.0ms

Iterations
IterNodes
done41
141
031

end0.0ms

sample994.0ms

Algorithm
intervals
Results
657.0ms8253×body80valid