Details

Time bar (total: 25.3s)

sample240.0ms

Algorithm
intervals
Results
99.0ms73×body10240exit
45.0ms55×body1280valid
33.0ms308×body80valid
23.0ms46×body640valid
7.0ms22×body320valid
3.0ms14×body160valid

simplify1.5s

Counts
1 → 1
Iterations
IterNodes
done5001
42356
3395
2124
147
019

prune19.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 31.8b

localize34.0ms

Local error

Found 4 expressions with local error:

0.0b
(* x (- eps 1.0))
0.0b
(exp (* x (- eps 1.0)))
0.0b
(exp (* x (+ 1.0 eps)))
3.7b
(fma (exp (* x (- eps 1.0))) (+ (/ 1.0 eps) 1.0) (/ (- 1.0 (/ 1.0 eps)) (exp (* x (+ 1.0 eps)))))

rewrite64.0ms

Algorithm
rewrite-expression-head
Rules
36×prod-diff
34×add-sqr-sqrt
32×*-un-lft-identity
30×add-cube-cbrt
24×exp-sum
23×distribute-rgt-in distribute-lft-in
8×add-log-exp
6×pow1 add-cbrt-cube add-exp-log
5×associate-*r*
4×expm1-log1p-u sub-neg log1p-expm1-u
3×associate-*l*
2×exp-prod exp-to-pow associate-*r/ rem-exp-log
1×flip3-- pow-prod-down prod-exp *-commutative cbrt-unprod fma-udef flip-- distribute-lft-out-- difference-of-squares unswap-sqr
Counts
4 → 104
Calls
4 calls:
33.0ms
(* x (- eps 1.0))
15.0ms
(exp (* x (- eps 1.0)))
8.0ms
(exp (* x (+ 1.0 eps)))
1.0ms
(fma (exp (* x (- eps 1.0))) (+ (/ 1.0 eps) 1.0) (/ (- 1.0 (/ 1.0 eps)) (exp (* x (+ 1.0 eps)))))

series206.0ms

Counts
4 → 12
Calls
4 calls:
35.0ms
(* x (- eps 1.0))
26.0ms
(exp (* x (- eps 1.0)))
20.0ms
(exp (* x (+ 1.0 eps)))
125.0ms
(fma (exp (* x (- eps 1.0))) (+ (/ 1.0 eps) 1.0) (/ (- 1.0 (/ 1.0 eps)) (exp (* x (+ 1.0 eps)))))

simplify1.6s

Counts
116 → 116
Iterations
IterNodes
done5000
22049
1510
0212

prune662.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 4.7b

localize18.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (* x x) x)
0.1b
(/ 2.7755575615628914e-17 (/ eps (* (* x x) x)))
4.8b
(fma 1.0 (* x x) (/ 2.7755575615628914e-17 (/ eps (* (* x x) x))))
4.8b
(/ eps (* (* x x) x))

rewrite79.0ms

Algorithm
rewrite-expression-head
Rules
36×times-frac
32×add-cbrt-cube add-exp-log
24×add-sqr-sqrt
23×pow1 *-un-lft-identity add-cube-cbrt
10×cbrt-undiv div-exp
9×prod-exp cbrt-unprod
8×associate-/r*
6×pow-plus pow-prod-up div-inv associate-/l*
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×associate-*r* pow-prod-down
2×pow2 clear-num frac-2neg pow-sqr
1×associate-*l* pow3 associate-/r/ *-commutative fma-udef unswap-sqr
Counts
4 → 117
Calls
4 calls:
23.0ms
(* (* x x) x)
21.0ms
(/ 2.7755575615628914e-17 (/ eps (* (* x x) x)))
1.0ms
(fma 1.0 (* x x) (/ 2.7755575615628914e-17 (/ eps (* (* x x) x))))
29.0ms
(/ eps (* (* x x) x))

series258.0ms

Counts
4 → 12
Calls
4 calls:
46.0ms
(* (* x x) x)
81.0ms
(/ 2.7755575615628914e-17 (/ eps (* (* x x) x)))
73.0ms
(fma 1.0 (* x x) (/ 2.7755575615628914e-17 (/ eps (* (* x x) x))))
56.0ms
(/ eps (* (* x x) x))

simplify1.9s

Counts
129 → 129
Iterations
IterNodes
done5002
22746
1412
0165

prune725.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.2b

localize44.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ 2.7755575615628914e-17 (/ eps (log (exp (* (* x x) x)))))
0.1b
(* (* x x) x)
0.7b
(log (exp (* (* x x) x)))
4.8b
(fma 1.0 (* x x) (/ 2.7755575615628914e-17 (/ eps (log (exp (* (* x x) x))))))

rewrite64.0ms

Algorithm
rewrite-expression-head
Rules
138×times-frac
70×add-sqr-sqrt
69×*-un-lft-identity add-cube-cbrt
39×log-pow
36×pow1
22×associate-/r*
17×add-log-exp
14×add-cbrt-cube add-exp-log
13×exp-prod exp-to-pow
6×pow-plus pow-prod-up
5×div-inv
4×expm1-log1p-u log1p-expm1-u
3×cbrt-undiv log-prod div-exp associate-*r* pow-prod-down prod-exp cbrt-unprod associate-/l*
2×pow2 pow-sqr
1×clear-num frac-2neg rem-log-exp associate-*l* pow3 associate-/r/ *-commutative fma-udef unswap-sqr
Counts
4 → 164
Calls
4 calls:
19.0ms
(/ 2.7755575615628914e-17 (/ eps (log (exp (* (* x x) x)))))
27.0ms
(* (* x x) x)
6.0ms
(log (exp (* (* x x) x)))
1.0ms
(fma 1.0 (* x x) (/ 2.7755575615628914e-17 (/ eps (log (exp (* (* x x) x))))))

series299.0ms

Counts
4 → 12
Calls
4 calls:
97.0ms
(/ 2.7755575615628914e-17 (/ eps (log (exp (* (* x x) x)))))
65.0ms
(* (* x x) x)
46.0ms
(log (exp (* (* x x) x)))
91.0ms
(fma 1.0 (* x x) (/ 2.7755575615628914e-17 (/ eps (log (exp (* (* x x) x))))))

simplify3.5s

Counts
176 → 176
Iterations
IterNodes
done5002
23988
1610
0241

prune829.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.2b

localize54.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (* x x) x)
0.7b
(log (* (cbrt (exp (* (* x x) x))) (cbrt (exp (* (* x x) x)))))
0.7b
(log (cbrt (exp (* (* x x) x))))
4.8b
(fma 1.0 (* x x) (/ 2.7755575615628914e-17 (/ eps (+ (log (* (cbrt (exp (* (* x x) x))) (cbrt (exp (* (* x x) x))))) (log (cbrt (exp (* (* x x) x))))))))

rewrite41.0ms

Algorithm
rewrite-expression-head
Rules
32×pow1
13×add-exp-log
11×log-pow
9×add-cbrt-cube
8×add-sqr-sqrt pow-prod-up
7×log-prod *-un-lft-identity pow-plus pow1/3 add-cube-cbrt
5×pow-prod-down
4×expm1-log1p-u prod-exp pow-sqr log1p-expm1-u add-log-exp
3×cbrt-prod pow2 rem-log-exp associate-*r* cbrt-unprod
1×associate-*l* pow3 *-commutative fma-udef unswap-sqr
Counts
4 → 79
Calls
4 calls:
15.0ms
(* (* x x) x)
20.0ms
(log (* (cbrt (exp (* (* x x) x))) (cbrt (exp (* (* x x) x)))))
3.0ms
(log (cbrt (exp (* (* x x) x))))
0.0ms
(fma 1.0 (* x x) (/ 2.7755575615628914e-17 (/ eps (+ (log (* (cbrt (exp (* (* x x) x))) (cbrt (exp (* (* x x) x))))) (log (cbrt (exp (* (* x x) x))))))))

series2.5s

Counts
4 → 12
Calls
4 calls:
35.0ms
(* (* x x) x)
1.0s
(log (* (cbrt (exp (* (* x x) x))) (cbrt (exp (* (* x x) x)))))
989.0ms
(log (cbrt (exp (* (* x x) x))))
462.0ms
(fma 1.0 (* x x) (/ 2.7755575615628914e-17 (/ eps (+ (log (* (cbrt (exp (* (* x x) x))) (cbrt (exp (* (* x x) x))))) (log (cbrt (exp (* (* x x) x))))))))

simplify1.4s

Counts
91 → 91
Iterations
IterNodes
done5000
21187
1211
0105

prune577.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.2b

regimes102.0ms

Accuracy

93.6% (1.0b remaining)

Error of 1.5b against oracle of 0.4b and baseline of 16.8b

bsearch234.0ms

Steps
ItersRangePoint
8
7.492487599876036e-13
1.167960668237619e-09
1.1486676066584133e-09

simplify5.0ms

Iterations
IterNodes
done31
131
025

end0.0ms

sample8.4s

Algorithm
intervals
Results
2.8s1902×body10240exit
2.4s10094×body80valid
1.7s1789×body1280valid
740.0ms1236×body640valid
216.0ms664×body320valid
70.0ms307×body160valid