Details

Time bar (total: 18.8s)

sample33.0ms

Algorithm
intervals
Results
16.0ms266×body80valid

simplify2.3s

Counts
1 → 1
Iterations
IterNodes
done5016
94448
82969
72063
61218
5540
4199
3100
258
125
012

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 2.0b

localize36.0ms

Local error

Found 3 expressions with local error:

0.0b
(- x (/ (- y z) (/ (+ (- t z) 1.0) a)))
0.0b
(/ (+ (- t z) 1.0) a)
11.0b
(/ (- y z) (/ (+ (- t z) 1.0) a))

rewrite334.0ms

Algorithm
rewrite-expression-head
Rules
239×*-un-lft-identity
203×times-frac
136×add-sqr-sqrt
87×add-cube-cbrt
44×distribute-lft-out
43×distribute-lft-out--
23×difference-of-squares
22×associate-/r*
10×add-cbrt-cube add-exp-log associate-/l*
8×div-inv
5×add-log-exp
4×cbrt-undiv div-exp associate-/l/
3×pow1 div-sub insert-posit16
2×clear-num frac-2neg flip3-- flip--
1×sub-neg flip3-+ diff-log associate-/r/ associate-+l- flip-+ associate--r-
Counts
3 → 195
Calls
3 calls:
110.0ms
(- x (/ (- y z) (/ (+ (- t z) 1.0) a)))
130.0ms
(/ (+ (- t z) 1.0) a)
84.0ms
(/ (- y z) (/ (+ (- t z) 1.0) a))

series381.0ms

Counts
3 → 9
Calls
3 calls:
170.0ms
(- x (/ (- y z) (/ (+ (- t z) 1.0) a)))
49.0ms
(/ (+ (- t z) 1.0) a)
161.0ms
(/ (- y z) (/ (+ (- t z) 1.0) a))

simplify1.9s

Counts
204 → 204
Iterations
IterNodes
done5002
22530
1776
0264

prune952.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0b

localize35.0ms

Local error

Found 3 expressions with local error:

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

rewrite255.0ms

Algorithm
rewrite-expression-head
Rules
104×*-un-lft-identity
54×add-sqr-sqrt
51×times-frac
31×associate-*l*
27×add-cube-cbrt
22×distribute-lft-out distribute-lft-out--
11×difference-of-squares
10×add-cbrt-cube add-exp-log
5×pow1 associate-/r* associate-/l* add-log-exp
4×associate-/r/
3×associate-*r* insert-posit16
2×cbrt-undiv flip3-+ flip3-- div-exp prod-exp cbrt-unprod flip-+ div-inv flip-- unswap-sqr associate-/l/
1×clear-num sub-neg frac-2neg diff-log div-sub pow-prod-down associate-*l/ *-commutative
Counts
3 → 117
Calls
3 calls:
6.0ms
(- x (* (/ (- y z) (+ (- t z) 1.0)) a))
78.0ms
(/ (- y z) (+ (- t z) 1.0))
167.0ms
(* (/ (- y z) (+ (- t z) 1.0)) a)

series395.0ms

Counts
3 → 9
Calls
3 calls:
115.0ms
(- x (* (/ (- y z) (+ (- t z) 1.0)) a))
72.0ms
(/ (- y z) (+ (- t z) 1.0))
208.0ms
(* (/ (- y z) (+ (- t z) 1.0)) a)

simplify1.5s

Counts
126 → 126
Iterations
IterNodes
done5001
21444
1449
0171

prune448.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

localize35.0ms

Local error

Found 4 expressions with local error:

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

rewrite394.0ms

Algorithm
rewrite-expression-head
Rules
447×*-un-lft-identity
392×times-frac
254×add-sqr-sqrt
158×add-cube-cbrt
98×associate-*l*
82×distribute-lft-out distribute-lft-out--
41×difference-of-squares
36×associate-/r* add-exp-log
20×add-cbrt-cube
18×associate-/r/
15×div-exp
10×div-inv
9×flip3-- flip--
8×associate-/l*
7×pow1 cbrt-undiv prod-exp
6×add-log-exp
5×unswap-sqr
4×rec-exp 1-exp insert-posit16
3×associate-*r* cbrt-unprod
2×clear-num frac-2neg associate-/l/
1×sub-neg flip3-+ diff-log div-sub pow-prod-down associate-*l/ *-commutative associate-+l- flip-+ pow-flip inv-pow
Counts
4 → 342
Calls
4 calls:
5.0ms
(- x (* (/ 1 (/ (+ (- t z) 1.0) (- y z))) a))
94.0ms
(/ (+ (- t z) 1.0) (- y z))
73.0ms
(/ 1 (/ (+ (- t z) 1.0) (- y z)))
204.0ms
(* (/ 1 (/ (+ (- t z) 1.0) (- y z))) a)

series588.0ms

Counts
4 → 12
Calls
4 calls:
183.0ms
(- x (* (/ 1 (/ (+ (- t z) 1.0) (- y z))) a))
85.0ms
(/ (+ (- t z) 1.0) (- y z))
147.0ms
(/ 1 (/ (+ (- t z) 1.0) (- y z)))
173.0ms
(* (/ 1 (/ (+ (- t z) 1.0) (- y z))) a)

simplify1.9s

Counts
354 → 354
Iterations
IterNodes
done5001
22786
11012
0361

prune1.3s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

localize39.0ms

Local error

Found 4 expressions with local error:

0.4b
(cbrt (+ (- t z) 1.0))
0.4b
(cbrt (+ (- t z) 1.0))
0.4b
(* (cbrt (+ (- t z) 1.0)) (cbrt (+ (- t z) 1.0)))
0.8b
(* (/ (/ (- y z) (* (cbrt (+ (- t z) 1.0)) (cbrt (+ (- t z) 1.0)))) (cbrt (+ (- t z) 1.0))) a)

rewrite611.0ms

Algorithm
rewrite-expression-head
Rules
221×*-un-lft-identity
182×times-frac
150×associate-*l*
133×cbrt-prod
114×cbrt-div
104×add-sqr-sqrt
66×associate-/r/ add-cube-cbrt
57×flip3-+ flip-+
54×distribute-lft-out
36×frac-times
35×distribute-lft-out--
20×add-exp-log
19×associate-*l/
18×associate-*r/
14×swap-sqr
13×pow1 add-cbrt-cube
11×associate-*r*
9×div-inv unswap-sqr
8×pow1/3 difference-of-squares
6×prod-exp cbrt-unprod
5×cbrt-undiv div-exp
4×insert-posit16 add-log-exp
3×pow-prod-down
2×pow-sqr *-commutative pow-prod-up
1×pow2 pow-plus
Counts
4 → 262
Calls
4 calls:
22.0ms
(cbrt (+ (- t z) 1.0))
19.0ms
(cbrt (+ (- t z) 1.0))
168.0ms
(* (cbrt (+ (- t z) 1.0)) (cbrt (+ (- t z) 1.0)))
382.0ms
(* (/ (/ (- y z) (* (cbrt (+ (- t z) 1.0)) (cbrt (+ (- t z) 1.0)))) (cbrt (+ (- t z) 1.0))) a)

series513.0ms

Counts
4 → 12
Calls
4 calls:
131.0ms
(cbrt (+ (- t z) 1.0))
110.0ms
(cbrt (+ (- t z) 1.0))
111.0ms
(* (cbrt (+ (- t z) 1.0)) (cbrt (+ (- t z) 1.0)))
161.0ms
(* (/ (/ (- y z) (* (cbrt (+ (- t z) 1.0)) (cbrt (+ (- t z) 1.0)))) (cbrt (+ (- t z) 1.0))) a)

simplify2.0s

Counts
274 → 274
Iterations
IterNodes
done5002
22708
1844
0328

prune1.5s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

regimes267.0ms

Accuracy

0% (0.3b remaining)

Error of 0.4b against oracle of 0.0b and baseline of 0.4b

bsearch0.0ms

simplify3.0ms

Iterations
IterNodes
done18
118
014

end0.0ms

sample1.1s

Algorithm
intervals
Results
871.0ms8467×body80valid
0.0ms1×body320valid