Details

Time bar (total: 27.9s)

sample147.0ms

Algorithm
intervals
Results
127.0ms478×body80valid

simplify1.2s

Counts
1 → 1
Iterations
IterNodes
done2017
42017
31250
2261
175
028

prune34.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize72.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (* (fabs x) (fabs x)) (fabs x))
0.1b
(* (* (fabs x) (fabs x)) (fabs x))
0.1b
(* (* (fabs x) (fabs x)) (fabs x))
1.0b
(sqrt PI)

rewrite66.0ms

Algorithm
rewrite-expression-head
Rules
62×pow1
19×add-cbrt-cube add-exp-log
18×pow-plus pow-prod-up
12×add-sqr-sqrt
9×associate-*r* pow-prod-down prod-exp cbrt-unprod
8×*-un-lft-identity add-cube-cbrt
6×pow2 pow-sqr
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×associate-*l* pow3 *-commutative sqrt-prod unswap-sqr
1×rem-sqrt-square sqrt-pow1 pow1/2
Counts
4 → 109
Calls
4 calls:
21.0ms
(* (* (fabs x) (fabs x)) (fabs x))
19.0ms
(* (* (fabs x) (fabs x)) (fabs x))
21.0ms
(* (* (fabs x) (fabs x)) (fabs x))
2.0ms
(sqrt PI)

series125.0ms

Counts
4 → 10
Calls
4 calls:
52.0ms
(* (* (fabs x) (fabs x)) (fabs x))
41.0ms
(* (* (fabs x) (fabs x)) (fabs x))
32.0ms
(* (* (fabs x) (fabs x)) (fabs x))
0.0ms
(sqrt PI)

simplify1.5s

Counts
119 → 119
Iterations
IterNodes
done2019
42019
31697
2521
1173
075

prune2.4s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize91.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (sqrt (* (* (fabs x) (fabs x)) (fabs x))) (sqrt (* (* (fabs x) (fabs x)) (fabs x))))
1.0b
(sqrt PI)
18.4b
(sqrt (* (* (fabs x) (fabs x)) (fabs x)))
18.4b
(sqrt (* (* (fabs x) (fabs x)) (fabs x)))

rewrite160.0ms

Algorithm
rewrite-expression-head
Rules
600×pow1
347×sqrt-pow1
298×pow-prod-up
201×pow-plus
102×pow-prod-down
92×pow-sqr
57×pow2
24×pow3
15×pow1/2
12×add-sqr-sqrt
9×*-un-lft-identity add-cube-cbrt sqrt-prod
6×add-cbrt-cube add-exp-log
4×expm1-log1p-u swap-sqr associate-*r* associate-*l* insert-posit16 log1p-expm1-u add-log-exp
1×rem-sqrt-square rem-square-sqrt sqrt-unprod prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 264
Calls
4 calls:
119.0ms
(* (sqrt (* (* (fabs x) (fabs x)) (fabs x))) (sqrt (* (* (fabs x) (fabs x)) (fabs x))))
1.0ms
(sqrt PI)
11.0ms
(sqrt (* (* (fabs x) (fabs x)) (fabs x)))
12.0ms
(sqrt (* (* (fabs x) (fabs x)) (fabs x)))

series136.0ms

Counts
4 → 10
Calls
4 calls:
27.0ms
(* (sqrt (* (* (fabs x) (fabs x)) (fabs x))) (sqrt (* (* (fabs x) (fabs x)) (fabs x))))
0.0ms
(sqrt PI)
54.0ms
(sqrt (* (* (fabs x) (fabs x)) (fabs x)))
55.0ms
(sqrt (* (* (fabs x) (fabs x)) (fabs x)))

simplify1.6s

Counts
274 → 274
Iterations
IterNodes
done2030
42030
31504
2380
1192
0101

prune5.5s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize106.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (* (fabs x) (fabs x)) (fabs x))
1.0b
(sqrt PI)
18.4b
(sqrt (* (* (fabs x) (fabs x)) (fabs x)))
25.8b
(sqrt (* (fabs x) (fabs x)))

rewrite50.0ms

Algorithm
rewrite-expression-head
Rules
52×pow1
19×sqrt-pow1
13×pow-plus pow-prod-up
9×add-cbrt-cube add-exp-log
8×add-sqr-sqrt
7×pow-prod-down
6×*-un-lft-identity add-cube-cbrt
5×pow2 pow-sqr sqrt-prod
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×pow1/2 associate-*r* prod-exp cbrt-unprod
2×rem-sqrt-square pow3
1×associate-*l* *-commutative unswap-sqr
Counts
4 → 90
Calls
4 calls:
30.0ms
(* (* (fabs x) (fabs x)) (fabs x))
2.0ms
(sqrt PI)
12.0ms
(sqrt (* (* (fabs x) (fabs x)) (fabs x)))
4.0ms
(sqrt (* (fabs x) (fabs x)))

series103.0ms

Counts
4 → 10
Calls
4 calls:
29.0ms
(* (* (fabs x) (fabs x)) (fabs x))
0.0ms
(sqrt PI)
72.0ms
(sqrt (* (* (fabs x) (fabs x)) (fabs x)))
2.0ms
(sqrt (* (fabs x) (fabs x)))

simplify1.5s

Counts
100 → 100
Iterations
IterNodes
done2039
42039
31011
2295
1142
086

prune2.4s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.0b

localize169.0ms

Local error

Found 4 expressions with local error:

18.1b
(sqrt (sqrt (* (* (fabs x) (fabs x)) (fabs x))))
18.4b
(sqrt (* (* (fabs x) (fabs x)) (fabs x)))
18.4b
(sqrt (* (* (fabs x) (fabs x)) (fabs x)))
18.4b
(sqrt (* (* (fabs x) (fabs x)) (fabs x)))

rewrite63.0ms

Algorithm
rewrite-expression-head
Rules
85×pow1
62×sqrt-pow1
24×pow-plus pow-prod-up
12×pow-prod-down
8×pow2 pow-sqr sqrt-prod
6×add-sqr-sqrt
5×*-un-lft-identity pow1/2 add-cube-cbrt
4×expm1-log1p-u add-cbrt-cube pow3 add-exp-log insert-posit16 log1p-expm1-u add-log-exp
1×rem-sqrt-square
Counts
4 → 102
Calls
4 calls:
21.0ms
(sqrt (sqrt (* (* (fabs x) (fabs x)) (fabs x))))
11.0ms
(sqrt (* (* (fabs x) (fabs x)) (fabs x)))
12.0ms
(sqrt (* (* (fabs x) (fabs x)) (fabs x)))
16.0ms
(sqrt (* (* (fabs x) (fabs x)) (fabs x)))

series366.0ms

Counts
4 → 12
Calls
4 calls:
201.0ms
(sqrt (sqrt (* (* (fabs x) (fabs x)) (fabs x))))
63.0ms
(sqrt (* (* (fabs x) (fabs x)) (fabs x)))
51.0ms
(sqrt (* (* (fabs x) (fabs x)) (fabs x)))
51.0ms
(sqrt (* (* (fabs x) (fabs x)) (fabs x)))

simplify1.7s

Counts
114 → 114
Iterations
IterNodes
done2017
72017
61674
5635
4330
3206
2131
189
056

prune2.8s

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0.0b

regimes392.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify14.0ms

Iterations
IterNodes
done57
157
035

end0.0ms

sample5.3s

Algorithm
intervals
Results
5.0s14057×body80valid