Details

Time bar (total: 16.8s)

sample85.0ms

Algorithm
intervals
Results
61.0ms695×body80valid

simplify2.4s

Counts
1 → 1
Iterations
IterNodes
done5001
72849
6771
5316
4187
384
239
118
07

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 4.9b

localize22.0ms

Local error

Found 2 expressions with local error:

0.3b
(* (cosh x) (/ y x))
4.7b
(/ (* (cosh x) (/ y x)) z)

rewrite50.0ms

Algorithm
rewrite-expression-head
Rules
17×add-sqr-sqrt
16×add-cbrt-cube add-exp-log
13×times-frac associate-*r*
12×*-un-lft-identity add-cube-cbrt
5×cbrt-undiv div-exp
4×pow1 cosh-def prod-exp cbrt-unprod
3×associate-/r* associate-*l* associate-/l/
2×expm1-log1p-u frac-times associate-*l/ associate-*r/ insert-posit16 log1p-expm1-u div-inv add-log-exp unswap-sqr
1×clear-num frac-2neg pow-prod-down *-commutative associate-/l*
Counts
2 → 66
Calls
2 calls:
24.0ms
(* (cosh x) (/ y x))
24.0ms
(/ (* (cosh x) (/ y x)) z)

series285.0ms

Counts
2 → 6
Calls
2 calls:
115.0ms
(* (cosh x) (/ y x))
171.0ms
(/ (* (cosh x) (/ y x)) z)

simplify1.5s

Counts
72 → 72
Iterations
IterNodes
done5004
21331
1354
0143

prune434.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.3b

localize10.0ms

Local error

Found 2 expressions with local error:

0.5b
(/ (cosh x) (/ x y))
4.7b
(/ (/ (cosh x) (/ x y)) z)

rewrite35.0ms

Algorithm
rewrite-expression-head
Rules
471×times-frac
229×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
47×associate-/l*
22×div-inv
16×associate-/r* add-cbrt-cube add-exp-log
9×cbrt-undiv div-exp
5×associate-/r/
2×expm1-log1p-u pow1 clear-num frac-2neg insert-posit16 log1p-expm1-u add-log-exp associate-/l/
1×cosh-def
Counts
2 → 273
Calls
2 calls:
11.0ms
(/ (cosh x) (/ x y))
19.0ms
(/ (/ (cosh x) (/ x y)) z)

series278.0ms

Counts
2 → 6
Calls
2 calls:
127.0ms
(/ (cosh x) (/ x y))
151.0ms
(/ (/ (cosh x) (/ x y)) z)

simplify2.1s

Counts
279 → 279
Iterations
IterNodes
done5016
23951
11263
0496

prune1.3s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.2b

localize13.0ms

Local error

Found 2 expressions with local error:

0.3b
(* (cosh x) (/ y x))
4.7b
(* (* (cosh x) (/ y x)) (/ 1 z))

rewrite71.0ms

Algorithm
rewrite-expression-head
Rules
46×add-exp-log
28×add-cbrt-cube
26×associate-*r*
22×add-sqr-sqrt prod-exp
19×times-frac
17×*-un-lft-identity add-cube-cbrt
12×cbrt-unprod
11×div-exp
9×pow1
6×frac-times cbrt-undiv cosh-def associate-*l/
4×associate-*l* pow-prod-down associate-*r/
3×rec-exp 1-exp
2×expm1-log1p-u *-commutative insert-posit16 log1p-expm1-u div-inv add-log-exp unswap-sqr
1×un-div-inv
Counts
2 → 90
Calls
2 calls:
19.0ms
(* (cosh x) (/ y x))
49.0ms
(* (* (cosh x) (/ y x)) (/ 1 z))

series253.0ms

Counts
2 → 6
Calls
2 calls:
96.0ms
(* (cosh x) (/ y x))
157.0ms
(* (* (cosh x) (/ y x)) (/ 1 z))

simplify1.8s

Counts
96 → 96
Iterations
IterNodes
done5003
21816
1509
0185

prune307.0ms

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0.2b

localize13.0ms

Local error

Found 3 expressions with local error:

0.3b
(* (cosh x) y)
0.3b
(* (/ 1 x) (* (cosh x) y))
4.7b
(/ (* (/ 1 x) (* (cosh x) y)) z)

rewrite58.0ms

Algorithm
rewrite-expression-head
Rules
59×add-exp-log
35×add-cbrt-cube
25×prod-exp
17×div-exp
16×add-sqr-sqrt associate-*l*
14×*-un-lft-identity add-cube-cbrt
13×cbrt-unprod
12×times-frac
10×pow1
9×cbrt-undiv
7×associate-*l/
5×cosh-def
4×rec-exp 1-exp associate-*r* pow-prod-down
3×expm1-log1p-u associate-/r* insert-posit16 log1p-expm1-u add-log-exp associate-/l/
2×frac-times associate-*r/ *-commutative div-inv
1×clear-num frac-2neg associate-/l* unswap-sqr
Counts
3 → 101
Calls
3 calls:
7.0ms
(* (cosh x) y)
26.0ms
(* (/ 1 x) (* (cosh x) y))
22.0ms
(/ (* (/ 1 x) (* (cosh x) y)) z)

series356.0ms

Counts
3 → 9
Calls
3 calls:
103.0ms
(* (cosh x) y)
103.0ms
(* (/ 1 x) (* (cosh x) y))
150.0ms
(/ (* (/ 1 x) (* (cosh x) y)) z)

simplify1.7s

Counts
110 → 110
Iterations
IterNodes
done5000
21648
1493
0188

prune319.0ms

Pruning

9 alts after pruning (6 fresh and 3 done)

Merged error: 0.0b

regimes253.0ms

Accuracy

95.5% (0.3b remaining)

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

bsearch124.0ms

Steps
ItersRangePoint
8
1.3824994409861635e-37
8.895491820922207e-33
2.180956969076489e-33
6
-5.7139033478554753e+20
-1.089736097093026e+20
-1.752728493811186e+20

simplify5.0ms

Iterations
IterNodes
done34
134
024

end0.0ms

sample3.1s

Algorithm
intervals
Results
2.2s22099×body80valid