Details

Time bar (total: 52.4s)

sample95.0ms

Algorithm
intervals
Results
64.0ms424×body80valid

simplify6.8s

Counts
1 → 1
Iterations
IterNodes
done5000
43921
3997
2247
170
028

prune40.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize249.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.2b
(* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
1.0b
(sqrt PI)

rewrite215.0ms

Algorithm
rewrite-expression-head
Rules
52×pow1
35×add-cbrt-cube add-exp-log
18×prod-exp cbrt-unprod
17×add-sqr-sqrt
15×associate-*l*
14×*-un-lft-identity add-cube-cbrt
12×pow-plus pow-prod-down pow-prod-up
9×times-frac
7×associate-*r*
4×pow2 expm1-log1p-u pow-sqr insert-posit16 log1p-expm1-u add-log-exp
3×cbrt-undiv div-exp *-commutative sqrt-prod
2×pow3 unswap-sqr
1×rem-sqrt-square sqrt-pow1 pow1/2 associate-*l/ div-inv
Counts
4 → 119
Calls
4 calls:
40.0ms
(* (* (fabs x) (fabs x)) (fabs x))
48.0ms
(* (* (fabs x) (fabs x)) (fabs x))
115.0ms
(* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
3.0ms
(sqrt PI)

series321.0ms

Counts
4 → 10
Calls
4 calls:
76.0ms
(* (* (fabs x) (fabs x)) (fabs x))
99.0ms
(* (* (fabs x) (fabs x)) (fabs x))
145.0ms
(* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
0.0ms
(sqrt PI)

simplify3.8s

Counts
129 → 129
Iterations
IterNodes
done5000
21227
1345
0139

prune1.4s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize252.0ms

Local error

Found 4 expressions with local error:

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

rewrite172.0ms

Algorithm
rewrite-expression-head
Rules
78×pow1
29×pow-prod-up
28×add-sqr-sqrt
22×pow-prod-down
20×add-cbrt-cube add-exp-log
13×associate-*r*
11×*-un-lft-identity sqrt-pow1 pow1/2 add-cube-cbrt sqrt-prod
10×prod-exp cbrt-unprod
8×pow3
7×associate-*l* pow-sqr
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp unswap-sqr
3×*-commutative
2×pow-plus
1×pow2 rem-sqrt-square swap-sqr
Counts
4 → 120
Calls
4 calls:
29.0ms
(* (fabs x) (sqrt (fabs x)))
28.0ms
(* (fabs x) (sqrt (fabs x)))
93.0ms
(* (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x))))
4.0ms
(sqrt PI)

series324.0ms

Counts
4 → 10
Calls
4 calls:
124.0ms
(* (fabs x) (sqrt (fabs x)))
133.0ms
(* (fabs x) (sqrt (fabs x)))
67.0ms
(* (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x))))
0.0ms
(sqrt PI)

simplify7.7s

Counts
130 → 130
Iterations
IterNodes
done5001
42569
31042
2440
1220
091

prune1.4s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize416.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (cbrt (* (* (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x)))) (* (fabs x) (sqrt (fabs x))))) (* (fabs x) (sqrt (fabs x))))
0.2b
(* (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x))))
1.0b
(sqrt PI)
23.7b
(cbrt (* (* (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x)))) (* (fabs x) (sqrt (fabs x)))))

rewrite473.0ms

Algorithm
rewrite-expression-head
Rules
73×pow1
25×pow-prod-down pow-prod-up
21×add-exp-log
19×add-cbrt-cube
16×add-sqr-sqrt
11×prod-exp cbrt-unprod
10×pow3
9×sqrt-pow1 pow1/2
7×pow-sqr
6×*-un-lft-identity add-cube-cbrt
5×associate-*l*
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×sqrt-prod
2×cbrt-prod pow-plus associate-*r* *-commutative rem-cbrt-cube
1×pow2 rem-sqrt-square pow1/3 swap-sqr
Counts
4 → 100
Calls
4 calls:
173.0ms
(* (cbrt (* (* (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x)))) (* (fabs x) (sqrt (fabs x))))) (* (fabs x) (sqrt (fabs x))))
65.0ms
(* (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x))))
2.0ms
(sqrt PI)
227.0ms
(cbrt (* (* (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x)))) (* (fabs x) (sqrt (fabs x)))))

series253.0ms

Counts
4 → 10
Calls
4 calls:
73.0ms
(* (cbrt (* (* (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x)))) (* (fabs x) (sqrt (fabs x))))) (* (fabs x) (sqrt (fabs x))))
87.0ms
(* (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x))))
0.0ms
(sqrt PI)
92.0ms
(cbrt (* (* (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x)))) (* (fabs x) (sqrt (fabs x)))))

simplify10.0s

Counts
110 → 110
Iterations
IterNodes
done5000
31696
2491
1240
0100

prune1.3s

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.0b

localize426.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* (fabs (cbrt (fabs x))) (fabs x)) (sqrt (cbrt (fabs x))))
0.7b
(cbrt (fabs x))
0.7b
(cbrt (fabs x))
1.0b
(sqrt PI)

rewrite77.0ms

Algorithm
rewrite-expression-head
Rules
11×add-sqr-sqrt
10×pow1 *-un-lft-identity add-cube-cbrt
9×cbrt-prod add-cbrt-cube associate-*r* add-exp-log sqrt-prod
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×pow-prod-down prod-exp cbrt-unprod
2×pow1/3
1×rem-sqrt-square sqrt-pow1 pow1/2 associate-*l* *-commutative
Counts
4 → 71
Calls
4 calls:
59.0ms
(* (* (fabs (cbrt (fabs x))) (fabs x)) (sqrt (cbrt (fabs x))))
3.0ms
(cbrt (fabs x))
3.0ms
(cbrt (fabs x))
5.0ms
(sqrt PI)

series984.0ms

Counts
4 → 10
Calls
4 calls:
489.0ms
(* (* (fabs (cbrt (fabs x))) (fabs x)) (sqrt (cbrt (fabs x))))
259.0ms
(cbrt (fabs x))
235.0ms
(cbrt (fabs x))
0.0ms
(sqrt PI)

simplify10.4s

Counts
81 → 81
Iterations
IterNodes
done5000
34659
2981
1271
0118

prune1.3s

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0.0b

regimes532.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify27.0ms

Iterations
IterNodes
done54
154
036

end0.0ms

sample3.3s

Algorithm
intervals
Results
2.9s14001×body80valid