Details

Time bar (total: 18.6s)

sample118.0ms

Algorithm
intervals
Results
33.0ms193×body80valid
31.0ms23×body1280valid
26.0ms36×body640valid
9.0ms17×body320valid
2.0ms6×body160valid

simplify102.0ms

Counts
1 → 1
Iterations
IterNodes
done78
678
576
465
340
222
112
07

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 2.4b

localize25.0ms

Local error

Found 3 expressions with local error:

0.1b
(/ (sin y) y)
0.1b
(* x (/ (sin y) y))
2.3b
(/ (* x (/ (sin y) y)) z)

rewrite61.0ms

Algorithm
rewrite-expression-head
Rules
26×add-sqr-sqrt
22×times-frac
21×*-un-lft-identity add-cube-cbrt
19×add-cbrt-cube add-exp-log
13×associate-*r*
6×cbrt-undiv associate-/r* div-exp
5×pow1
4×prod-exp cbrt-unprod associate-/l*
3×expm1-log1p-u associate-*l* insert-posit16 log1p-expm1-u div-inv add-log-exp
2×clear-num frac-2neg associate-*r/ unswap-sqr
1×pow-prod-down *-commutative associate-/l/
Counts
3 → 92
Calls
3 calls:
15.0ms
(/ (sin y) y)
20.0ms
(* x (/ (sin y) y))
23.0ms
(/ (* x (/ (sin y) y)) z)

series247.0ms

Counts
3 → 9
Calls
3 calls:
54.0ms
(/ (sin y) y)
87.0ms
(* x (/ (sin y) y))
105.0ms
(/ (* x (/ (sin y) y)) z)

simplify1.9s

Counts
101 → 101
Iterations
IterNodes
done5001
21189
1347
0148

prune499.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0b

localize23.0ms

Local error

Found 3 expressions with local error:

0.1b
(/ (sin y) y)
0.1b
(/ z (/ (sin y) y))
2.2b
(/ x (/ z (/ (sin y) y)))

rewrite62.0ms

Algorithm
rewrite-expression-head
Rules
480×times-frac
238×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
60×associate-/r*
23×div-inv
19×add-cbrt-cube add-exp-log
10×cbrt-undiv div-exp
9×associate-/l*
6×associate-/r/
3×expm1-log1p-u pow1 clear-num frac-2neg insert-posit16 log1p-expm1-u add-log-exp
Counts
3 → 302
Calls
3 calls:
20.0ms
(/ (sin y) y)
13.0ms
(/ z (/ (sin y) y))
16.0ms
(/ x (/ z (/ (sin y) y)))

series309.0ms

Counts
3 → 9
Calls
3 calls:
37.0ms
(/ (sin y) y)
120.0ms
(/ z (/ (sin y) y))
152.0ms
(/ x (/ z (/ (sin y) y)))

simplify2.7s

Counts
311 → 311
Iterations
IterNodes
done5010
24733
11345
0500

prune1.5s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0b

localize20.0ms

Local error

Found 3 expressions with local error:

0.1b
(/ (sin y) y)
0.1b
(/ 1 (/ (sin y) y))
1.8b
(/ (/ x z) (/ 1 (/ (sin y) y)))

rewrite53.0ms

Algorithm
rewrite-expression-head
Rules
1985×times-frac
858×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
108×div-inv
61×add-exp-log
60×associate-/r*
43×div-exp
31×add-cbrt-cube
19×cbrt-undiv associate-/l*
16×associate-/r/
6×rec-exp 1-exp
4×pow1
3×expm1-log1p-u clear-num frac-2neg insert-posit16 log1p-expm1-u add-log-exp
1×pow-flip inv-pow associate-/l/
Counts
3 → 773
Calls
3 calls:
12.0ms
(/ (sin y) y)
7.0ms
(/ 1 (/ (sin y) y))
13.0ms
(/ (/ x z) (/ 1 (/ (sin y) y)))

series224.0ms

Counts
3 → 9
Calls
3 calls:
55.0ms
(/ (sin y) y)
44.0ms
(/ 1 (/ (sin y) y))
125.0ms
(/ (/ x z) (/ 1 (/ (sin y) y)))

simplify2.4s

Counts
782 → 782
Iterations
IterNodes
done5011
14449
01297

prune2.9s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

localize14.0ms

Local error

Found 3 expressions with local error:

0.1b
(* x (sin y))
2.3b
(/ (/ (* x (sin y)) y) z)
7.9b
(/ (* x (sin y)) y)

rewrite56.0ms

Algorithm
rewrite-expression-head
Rules
36×times-frac
25×add-sqr-sqrt
23×*-un-lft-identity add-cube-cbrt
19×add-cbrt-cube add-exp-log
8×associate-/l*
7×cbrt-undiv div-exp
6×associate-/r* div-inv
5×pow1
3×expm1-log1p-u associate-*r* associate-*l* prod-exp cbrt-unprod insert-posit16 log1p-expm1-u add-log-exp
2×clear-num frac-2neg
1×pow-prod-down *-commutative unswap-sqr associate-/l/
Counts
3 → 96
Calls
3 calls:
14.0ms
(* x (sin y))
19.0ms
(/ (/ (* x (sin y)) y) z)
21.0ms
(/ (* x (sin y)) y)

series242.0ms

Counts
3 → 9
Calls
3 calls:
42.0ms
(* x (sin y))
118.0ms
(/ (/ (* x (sin y)) y) z)
82.0ms
(/ (* x (sin y)) y)

simplify981.0ms

Counts
105 → 105
Iterations
IterNodes
done5006
21254
1368
0157

prune342.0ms

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0b

regimes214.0ms

Accuracy

65.8% (1.0b remaining)

Error of 1.0b against oracle of 0.0b and baseline of 2.9b

bsearch194.0ms

Steps
ItersRangePoint
8
1.5201484901397875e+242
4.329115297153896e+245
1.5442293158046647e+242
7
-1.0655363365485027e+18
-6.599107358080548e+16
-1.2889274271188022e+17

simplify3.0ms

Iterations
IterNodes
done20
120
016

end0.0ms

sample3.3s

Algorithm
intervals
Results
1.2s5916×body80valid
771.0ms914×body1280valid
676.0ms1046×body640valid
277.0ms578×body320valid
126.0ms277×body160valid