Details

Time bar (total: 36.9s)

sample63.0ms

Algorithm
intervals
Results
42.0ms325×body80valid

simplify153.0ms

Counts
1 → 1
Iterations
IterNodes
done122
9122
8119
7112
695
579
462
341
225
115
010

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 6.0b

localize22.0ms

Local error

Found 3 expressions with local error:

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

rewrite186.0ms

Algorithm
rewrite-expression-head
Rules
1192×times-frac
1082×add-sqr-sqrt
1078×*-un-lft-identity
819×prod-diff
814×add-cube-cbrt
275×distribute-rgt-in distribute-lft-in
129×distribute-lft-out-- difference-of-squares
104×div-inv
80×associate-/r/
42×flip3-- flip--
13×fma-neg
10×associate-*r*
7×add-cbrt-cube add-exp-log
5×pow1 associate-/r* add-log-exp
3×expm1-log1p-u sub-neg associate-*l* associate-*r/ insert-posit16 log1p-expm1-u associate-/l*
2×frac-sub
1×cbrt-undiv clear-num frac-2neg diff-log div-exp pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
3 → 930
Calls
3 calls:
49.0ms
(- (/ y z) (/ t (- 1.0 z)))
16.0ms
(/ t (- 1.0 z))
83.0ms
(* x (- (/ y z) (/ t (- 1.0 z))))

series192.0ms

Counts
3 → 9
Calls
3 calls:
55.0ms
(- (/ y z) (/ t (- 1.0 z)))
61.0ms
(/ t (- 1.0 z))
76.0ms
(* x (- (/ y z) (/ t (- 1.0 z))))

simplify4.2s

Counts
939 → 939
Iterations
IterNodes
done5000
24620
11781
01012

prune4.9s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 0.0b

localize31.0ms

Local error

Found 3 expressions with local error:

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

rewrite166.0ms

Algorithm
rewrite-expression-head
Rules
424×times-frac
398×add-sqr-sqrt
394×*-un-lft-identity
286×add-cube-cbrt
273×prod-diff
51×distribute-lft-out-- difference-of-squares
36×div-inv
28×associate-/r/
16×flip3-- flip--
13×fma-neg
10×associate-*l*
7×add-cbrt-cube add-exp-log
5×pow1 associate-/r* add-log-exp
3×expm1-log1p-u associate-*r* associate-*l/ insert-posit16 log1p-expm1-u associate-/l*
2×frac-sub
1×cbrt-undiv clear-num sub-neg frac-2neg diff-log div-exp pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
3 → 380
Calls
3 calls:
33.0ms
(- (/ y z) (/ t (- 1.0 z)))
8.0ms
(/ t (- 1.0 z))
104.0ms
(* (- (/ y z) (/ t (- 1.0 z))) x)

series185.0ms

Counts
3 → 9
Calls
3 calls:
56.0ms
(- (/ y z) (/ t (- 1.0 z)))
70.0ms
(/ t (- 1.0 z))
58.0ms
(* (- (/ y z) (/ t (- 1.0 z))) x)

simplify2.4s

Counts
389 → 389
Iterations
IterNodes
done5001
22981
11172
0505

prune2.3s

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 0.0b

localize27.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt x)
0.6b
(cbrt x)
1.0b
(* (* (- (/ y z) (/ t (- 1.0 z))) (* (cbrt x) (cbrt x))) (cbrt x))
5.3b
(* (- (/ y z) (/ t (- 1.0 z))) (* (cbrt x) (cbrt x)))

rewrite284.0ms

Algorithm
rewrite-expression-head
Rules
22×add-sqr-sqrt
20×*-un-lft-identity
18×pow1 add-exp-log
11×add-cbrt-cube associate-*l*
9×cbrt-prod pow-prod-down associate-*l/ prod-exp add-cube-cbrt cbrt-unprod
8×times-frac
7×associate-*r*
4×expm1-log1p-u insert-posit16 log1p-expm1-u distribute-lft-out-- add-log-exp difference-of-squares
2×flip3-- pow1/3 *-commutative frac-sub flip--
1×unswap-sqr
Counts
4 → 90
Calls
4 calls:
1.0ms
(cbrt x)
1.0ms
(cbrt x)
147.0ms
(* (* (- (/ y z) (/ t (- 1.0 z))) (* (cbrt x) (cbrt x))) (cbrt x))
134.0ms
(* (- (/ y z) (/ t (- 1.0 z))) (* (cbrt x) (cbrt x)))

series779.0ms

Counts
4 → 12
Calls
4 calls:
218.0ms
(cbrt x)
279.0ms
(cbrt x)
89.0ms
(* (* (- (/ y z) (/ t (- 1.0 z))) (* (cbrt x) (cbrt x))) (cbrt x))
194.0ms
(* (- (/ y z) (/ t (- 1.0 z))) (* (cbrt x) (cbrt x)))

simplify2.2s

Counts
102 → 102
Iterations
IterNodes
done5000
21503
1425
0155

prune556.0ms

Pruning

12 alts after pruning (10 fresh and 2 done)

Merged error: 0.0b

localize42.0ms

Local error

Found 4 expressions with local error:

5.5b
(cbrt (* x (- (/ y z) (/ t (- 1.0 z)))))
6.0b
(* x (- (/ y z) (/ t (- 1.0 z))))
6.0b
(* x (- (/ y z) (/ t (- 1.0 z))))
6.0b
(* x (- (/ y z) (/ t (- 1.0 z))))

rewrite380.0ms

Algorithm
rewrite-expression-head
Rules
2328×times-frac
2104×add-sqr-sqrt
2095×*-un-lft-identity
1638×prod-diff
1594×add-cube-cbrt
825×distribute-rgt-in distribute-lft-in
246×distribute-lft-out-- difference-of-squares
204×div-inv
156×associate-/r/
82×flip3-- flip--
30×associate-*r*
12×associate-*r/
10×pow1 add-cbrt-cube add-exp-log
9×associate-*l*
6×sub-neg
4×expm1-log1p-u frac-sub insert-posit16 log1p-expm1-u add-log-exp
3×cbrt-div pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
1×cbrt-prod pow1/3
Counts
4 → 1758
Calls
4 calls:
17.0ms
(cbrt (* x (- (/ y z) (/ t (- 1.0 z)))))
83.0ms
(* x (- (/ y z) (/ t (- 1.0 z))))
86.0ms
(* x (- (/ y z) (/ t (- 1.0 z))))
97.0ms
(* x (- (/ y z) (/ t (- 1.0 z))))

series504.0ms

Counts
4 → 12
Calls
4 calls:
285.0ms
(cbrt (* x (- (/ y z) (/ t (- 1.0 z)))))
69.0ms
(* x (- (/ y z) (/ t (- 1.0 z))))
82.0ms
(* x (- (/ y z) (/ t (- 1.0 z))))
68.0ms
(* x (- (/ y z) (/ t (- 1.0 z))))

simplify4.9s

Counts
1770 → 1770
Iterations
IterNodes
done5000
24445
11756
01015

prune9.8s

Pruning

12 alts after pruning (9 fresh and 3 done)

Merged error: 0.0b

regimes765.0ms

Accuracy

73.7% (1.1b remaining)

Error of 1.2b against oracle of 0.1b and baseline of 4.4b

bsearch2.0ms

simplify3.0ms

Iterations
IterNodes
done23
123
018

end0.0ms

sample1.8s

Algorithm
intervals
Results
1.4s10121×body80valid