Details

Time bar (total: 1.7m)

sample1.2s

Algorithm
intervals
Results
1.1s3460×body80valid

simplify731.0ms

Calls
1 calls:
Slowest
730.0ms
(* (* (/ 1 (sqrt PI)) (exp (* (fabs x) (fabs x)))) (+ (+ (+ (/ 1 (fabs x)) (* (/ 1 2) (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))))) (* (/ 3 4) (* (* (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))))) (* (/ 15 8) (* (* (* (* (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))))))

prune27.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.0b

localize64.0ms

Local error

Found 4 expressions with local error:

1.0b
(sqrt PI)
0.5b
(* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x)))
0.5b
(* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x)))
0.4b
(* (* (* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x))) (/ 1 (fabs x))) (/ (/ 1 (fabs x)) (fabs x)))

rewrite132.0ms

Algorithm
rewrite-expression-head
Rules
418×add-exp-log
195×prod-exp
139×pow1
138×div-exp
99×rec-exp
84×add-cbrt-cube
72×pow-div
60×times-frac
58×pow-prod-up
48×associate-*r*
44×add-sqr-sqrt *-un-lft-identity add-cube-cbrt pow-flip inv-pow
38×cbrt-unprod
33×associate-*l*
22×cbrt-undiv
20×frac-times associate-*l/ div-inv
12×pow-prod-down
9×associate-*r/
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×*-commutative
2×pow2 pow-plus un-div-inv
1×pow1/2
Calls
4 calls:
Slowest
83.0ms
(* (* (* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x))) (/ 1 (fabs x))) (/ (/ 1 (fabs x)) (fabs x)))
18.0ms
(* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x)))
18.0ms
(* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x)))
0.0ms
(sqrt PI)

series443.0ms

Calls
4 calls:
Slowest
384.0ms
(* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x)))
39.0ms
(* (* (* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x))) (/ 1 (fabs x))) (/ (/ 1 (fabs x)) (fabs x)))
21.0ms
(* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x)))
0.0ms
(sqrt PI)

simplify42.2s

Calls
290 calls:
Slowest
901.0ms
(* (* (* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x))) (/ (/ 1 (fabs x)) (fabs x))) (* (* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x))) (/ (/ 1 (fabs x)) (fabs x))))
836.0ms
(* (* (* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x))) (/ (/ 1 (fabs x)) (fabs x))) (* (* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x))) (/ (/ 1 (fabs x)) (fabs x))))
737.0ms
(* (/ (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (/ (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))
664.0ms
(* (* (* (* (* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x))) (/ 1 (fabs x))) (* (* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x))) (/ 1 (fabs x)))) (* (* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x))) (/ 1 (fabs x)))) (* (* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x))) (/ (/ 1 (fabs x)) (fabs x))))
649.0ms
(* (* (* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x))) (/ (/ 1 (fabs x)) (fabs x))) (/ (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))

prune5.2s

Pruning

15 alts after pruning (14 fresh and 1 done)

Merged error: 0.1b

localize16.0ms

Local error

Found 4 expressions with local error:

1.0b
(sqrt PI)
0.5b
(* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x)))
0.4b
(* (* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x))) (/ 1 (fabs x)))
0.3b
(/ (/ (/ 1 (fabs x)) (fabs x)) (fabs x))

rewrite64.0ms

Algorithm
rewrite-expression-head
Rules
124×add-exp-log
120×times-frac
70×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
65×pow1
47×prod-exp
41×div-exp
39×add-cbrt-cube
32×pow-div
29×rec-exp
26×div-inv
21×pow-prod-up
20×associate-*r*
19×pow-flip inv-pow
17×associate-*l*
16×associate-/l*
13×cbrt-unprod
11×cbrt-undiv
6×frac-times pow-prod-down associate-*l/
4×expm1-log1p-u associate-*r/ insert-posit16 log1p-expm1-u add-log-exp
3×associate-/r*
2×*-commutative
1×pow2 clear-num frac-2neg pow-plus pow1/2 un-div-inv associate-/l/
Calls
4 calls:
Slowest
27.0ms
(* (* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x))) (/ 1 (fabs x)))
18.0ms
(* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x)))
14.0ms
(/ (/ (/ 1 (fabs x)) (fabs x)) (fabs x))
0.0ms
(sqrt PI)

series98.0ms

Calls
4 calls:
Slowest
45.0ms
(* (* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x))) (/ 1 (fabs x)))
33.0ms
(/ (/ (/ 1 (fabs x)) (fabs x)) (fabs x))
20.0ms
(* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x)))
0.0ms
(sqrt PI)

simplify16.5s

Calls
257 calls:
Slowest
868.0ms
(* (* (* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x))) (/ (/ 1 (fabs x)) (fabs x))) (* (* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x))) (/ (/ 1 (fabs x)) (fabs x))))
631.0ms
(* (/ (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (/ (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))
580.0ms
(* (* (* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x))) (/ (/ 1 (fabs x)) (fabs x))) (/ (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))
503.0ms
(* (* (* (* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x))) (/ (/ 1 (fabs x)) (fabs x))) (* (* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x))) (/ (/ 1 (fabs x)) (fabs x)))) (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))))
444.0ms
(* (/ (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x))) (/ (/ 1 (fabs x)) (fabs x))))

prune4.3s

Pruning

14 alts after pruning (13 fresh and 1 done)

Merged error: 0.1b

localize16.0ms

Local error

Found 4 expressions with local error:

1.0b
(sqrt PI)
1.0b
(sqrt PI)
0.5b
(* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x)))
0.4b
(* (* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x))) (/ 1 (fabs x)))

rewrite55.0ms

Algorithm
rewrite-expression-head
Rules
116×add-exp-log
60×pow1
47×prod-exp
36×div-exp
34×add-cbrt-cube
28×rec-exp pow-div
24×times-frac
21×add-sqr-sqrt *-un-lft-identity pow-prod-up add-cube-cbrt
20×associate-*r*
18×pow-flip inv-pow
17×associate-*l*
13×cbrt-unprod
9×div-inv
8×cbrt-undiv
6×frac-times pow-prod-down associate-*l/
4×expm1-log1p-u associate-*r/ insert-posit16 log1p-expm1-u add-log-exp
2×pow1/2 *-commutative
1×pow2 pow-plus un-div-inv
Calls
4 calls:
Slowest
38.0ms
(* (* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x))) (/ 1 (fabs x)))
14.0ms
(* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x)))
0.0ms
(sqrt PI)
0.0ms
(sqrt PI)

series61.0ms

Calls
4 calls:
Slowest
34.0ms
(* (* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x))) (/ 1 (fabs x)))
27.0ms
(* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x)))
0.0ms
(sqrt PI)
0.0ms
(sqrt PI)

simplify10.6s

Calls
129 calls:
Slowest
842.0ms
(* (* (* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x))) (/ (/ 1 (fabs x)) (fabs x))) (* (* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x))) (/ (/ 1 (fabs x)) (fabs x))))
643.0ms
(* (/ (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (/ (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))
504.0ms
(* (* (* (* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x))) (/ (/ 1 (fabs x)) (fabs x))) (* (* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x))) (/ (/ 1 (fabs x)) (fabs x)))) (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))))
488.0ms
(* (/ (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x))) (/ (/ 1 (fabs x)) (fabs x))))
475.0ms
(* (* (* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x))) (/ (/ 1 (fabs x)) (fabs x))) (/ (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))

prune3.5s

Pruning

14 alts after pruning (12 fresh and 2 done)

Merged error: 0.1b

localize20.0ms

Local error

Found 4 expressions with local error:

1.0b
(sqrt PI)
0.5b
(* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x)))
0.4b
(* (* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x))) (/ 1 (fabs x)))
0.3b
(/ 1 (pow (fabs x) 7))

rewrite43.0ms

Algorithm
rewrite-expression-head
Rules
118×add-exp-log
60×pow1
47×prod-exp
36×div-exp
34×add-cbrt-cube
31×rec-exp
28×pow-div
24×times-frac
23×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
21×pow-prod-up
20×associate-*r*
19×pow-flip inv-pow
17×associate-*l*
13×cbrt-unprod
10×div-inv
8×cbrt-undiv
6×frac-times associate-/r* pow-prod-down associate-*l/
4×expm1-log1p-u associate-*r/ insert-posit16 log1p-expm1-u add-log-exp
3×unpow-prod-down
2×*-commutative
1×pow2 pow-to-exp clear-num frac-2neg pow-plus pow1/2 pow-exp un-div-inv
Calls
4 calls:
Slowest
28.0ms
(* (* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x))) (/ 1 (fabs x)))
10.0ms
(* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x)))
2.0ms
(/ 1 (pow (fabs x) 7))
0.0ms
(sqrt PI)

series110.0ms

Calls
4 calls:
Slowest
55.0ms
(/ 1 (pow (fabs x) 7))
29.0ms
(* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x)))
26.0ms
(* (* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x))) (/ 1 (fabs x)))
0.0ms
(sqrt PI)

simplify10.5s

Calls
140 calls:
Slowest
832.0ms
(* (* (* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x))) (/ (/ 1 (fabs x)) (fabs x))) (* (* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x))) (/ (/ 1 (fabs x)) (fabs x))))
684.0ms
(* (/ (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (/ (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))
550.0ms
(* (* (* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x))) (/ (/ 1 (fabs x)) (fabs x))) (/ (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))
505.0ms
(* (/ (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x))) (/ (/ 1 (fabs x)) (fabs x))))
493.0ms
(* (* (* (* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x))) (/ (/ 1 (fabs x)) (fabs x))) (* (* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x))) (/ (/ 1 (fabs x)) (fabs x)))) (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))))

prune3.0s

Pruning

14 alts after pruning (11 fresh and 3 done)

Merged error: 0.1b

regimes377.0ms

bsearch8.0ms

end0.0ms