Timeout in 10.0m

Use the --timeout flag to change the timeout.

Details

Time bar (total: 1.5m)Debug log

start141.0ms

Algorithm
intervals

setup492.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 26.8b

localize100.0ms

Local error

Found 4 expressions with local error:

26.8b
(/ (+ (+ 1 (* (* x x) 0.1049934947)) (+ (* (pow x 4) (+ (* x (* x 0.0072644182)) 0.0424060604)) (* (* (pow x 4) (pow x 4)) (+ 0.0005064034 (* x (* x 0.0001789971)))))) (+ (+ (* (* (pow x 4) (* 2 0.0001789971)) (* (pow x 4) (pow x 4))) (+ (* (* x 0.7715471019) x) 1)) (+ (* (* (pow x 4) (pow x 4)) (+ 0.0140005442 (* 0.0008327945 (* x x)))) (* (pow x 4) (+ (* (* x 0.0694555761) x) 0.2909738639)))))
14.2b
(* (/ (+ (+ 1 (* (* x x) 0.1049934947)) (+ (* (pow x 4) (+ (* x (* x 0.0072644182)) 0.0424060604)) (* (* (pow x 4) (pow x 4)) (+ 0.0005064034 (* x (* x 0.0001789971)))))) (+ (+ (* (* (pow x 4) (* 2 0.0001789971)) (* (pow x 4) (pow x 4))) (+ (* (* x 0.7715471019) x) 1)) (+ (* (* (pow x 4) (pow x 4)) (+ 0.0140005442 (* 0.0008327945 (* x x)))) (* (pow x 4) (+ (* (* x 0.0694555761) x) 0.2909738639))))) x)
0.1b
(* (* x 0.0694555761) x)
0.1b
(* (* x 0.7715471019) x)

rewrite335.0ms

Algorithm
rewrite-expression-head
Counts
4 → 125
Calls

4 calls. Slowest were:

176.0ms
(/ (+ (+ 1 (* (* x x) 0.1049934947)) (+ (* (pow x 4) (+ (* x (* x 0.0072644182)) 0.0424060604)) (* (* (pow x 4) (pow x 4)) (+ 0.0005064034 (* x (* x 0.0001789971)))))) (+ (+ (* (* (pow x 4) (* 2 0.0001789971)) (* (pow x 4) (pow x 4))) (+ (* (* x 0.7715471019) x) 1)) (+ (* (* (pow x 4) (pow x 4)) (+ 0.0140005442 (* 0.0008327945 (* x x)))) (* (pow x 4) (+ (* (* x 0.0694555761) x) 0.2909738639)))))
147.0ms
(* (/ (+ (+ 1 (* (* x x) 0.1049934947)) (+ (* (pow x 4) (+ (* x (* x 0.0072644182)) 0.0424060604)) (* (* (pow x 4) (pow x 4)) (+ 0.0005064034 (* x (* x 0.0001789971)))))) (+ (+ (* (* (pow x 4) (* 2 0.0001789971)) (* (pow x 4) (pow x 4))) (+ (* (* x 0.7715471019) x) 1)) (+ (* (* (pow x 4) (pow x 4)) (+ 0.0140005442 (* 0.0008327945 (* x x)))) (* (pow x 4) (+ (* (* x 0.0694555761) x) 0.2909738639))))) x)
4.0ms
(* (* x 0.0694555761) x)

series304.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

141.0ms
(* (/ (+ (+ 1 (* (* x x) 0.1049934947)) (+ (* (pow x 4) (+ (* x (* x 0.0072644182)) 0.0424060604)) (* (* (pow x 4) (pow x 4)) (+ 0.0005064034 (* x (* x 0.0001789971)))))) (+ (+ (* (* (pow x 4) (* 2 0.0001789971)) (* (pow x 4) (pow x 4))) (+ (* (* x 0.7715471019) x) 1)) (+ (* (* (pow x 4) (pow x 4)) (+ 0.0140005442 (* 0.0008327945 (* x x)))) (* (pow x 4) (+ (* (* x 0.0694555761) x) 0.2909738639))))) x)
122.0ms
(/ (+ (+ 1 (* (* x x) 0.1049934947)) (+ (* (pow x 4) (+ (* x (* x 0.0072644182)) 0.0424060604)) (* (* (pow x 4) (pow x 4)) (+ 0.0005064034 (* x (* x 0.0001789971)))))) (+ (+ (* (* (pow x 4) (* 2 0.0001789971)) (* (pow x 4) (pow x 4))) (+ (* (* x 0.7715471019) x) 1)) (+ (* (* (pow x 4) (pow x 4)) (+ 0.0140005442 (* 0.0008327945 (* x x)))) (* (pow x 4) (+ (* (* x 0.0694555761) x) 0.2909738639)))))
21.0ms
(* (* x 0.7715471019) x)
19.0ms
(* (* x 0.0694555761) x)

simplify20.5s

Counts
114 → 137
Calls

114 calls. Slowest were:

642.0ms
(/ (sqrt (+ (+ 1 (* (* x x) 0.1049934947)) (+ (* (pow x 4) (+ (* x (* x 0.0072644182)) 0.0424060604)) (* (* (pow x 4) (pow x 4)) (+ 0.0005064034 (* x (* x 0.0001789971))))))) 1)
519.0ms
(+ (* (+ (* (* (pow x 4) (* 2 0.0001789971)) (* (pow x 4) (pow x 4))) (+ (* (* x 0.7715471019) x) 1)) (+ (* (* (pow x 4) (* 2 0.0001789971)) (* (pow x 4) (pow x 4))) (+ (* (* x 0.7715471019) x) 1))) (- (* (+ (* (* (pow x 4) (pow x 4)) (+ 0.0140005442 (* 0.0008327945 (* x x)))) (* (pow x 4) (+ (* (* x 0.0694555761) x) 0.2909738639))) (+ (* (* (pow x 4) (pow x 4)) (+ 0.0140005442 (* 0.0008327945 (* x x)))) (* (pow x 4) (+ (* (* x 0.0694555761) x) 0.2909738639)))) (* (+ (* (* (pow x 4) (* 2 0.0001789971)) (* (pow x 4) (pow x 4))) (+ (* (* x 0.7715471019) x) 1)) (+ (* (* (pow x 4) (pow x 4)) (+ 0.0140005442 (* 0.0008327945 (* x x)))) (* (pow x 4) (+ (* (* x 0.0694555761) x) 0.2909738639))))))
476.0ms
(+ (* (- (* 1 1) (* (* (* x x) 0.1049934947) (* (* x x) 0.1049934947))) (* (+ (* (* x (* x 0.0072644182)) (* x (* x 0.0072644182))) (- (* 0.0424060604 0.0424060604) (* (* x (* x 0.0072644182)) 0.0424060604))) (- 0.0005064034 (* x (* x 0.0001789971))))) (* (- 1 (* (* x x) 0.1049934947)) (+ (* (* (pow x 4) (+ (pow (* x (* x 0.0072644182)) 3) (pow 0.0424060604 3))) (- 0.0005064034 (* x (* x 0.0001789971)))) (* (+ (* (* x (* x 0.0072644182)) (* x (* x 0.0072644182))) (- (* 0.0424060604 0.0424060604) (* (* x (* x 0.0072644182)) 0.0424060604))) (* (* (pow x 4) (pow x 4)) (- (* 0.0005064034 0.0005064034) (* (* x (* x 0.0001789971)) (* x (* x 0.0001789971)))))))))

prune8.8s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize76.0ms

Local error

Found 4 expressions with local error:

24.9b
(* (sqrt (+ (+ (+ (* 0.0424060604 (pow x 4)) (* (pow x 6) 0.0072644182)) (+ 1 (* (* 0.1049934947 x) x))) (* (* (pow x 4) (pow x 4)) (+ (* (* x x) 0.0001789971) 0.0005064034)))) (* (/ (sqrt (+ (+ 1 (* (* x x) 0.1049934947)) (+ (* (pow x 4) (+ (* x (* x 0.0072644182)) 0.0424060604)) (* (* (pow x 4) (pow x 4)) (+ 0.0005064034 (* x (* x 0.0001789971))))))) (+ (+ (* (* (pow x 4) (* 2 0.0001789971)) (* (pow x 4) (pow x 4))) (+ (* (* x 0.7715471019) x) 1)) (+ (* (* (pow x 4) (pow x 4)) (+ 0.0140005442 (* 0.0008327945 (* x x)))) (* (pow x 4) (+ (* (* x 0.0694555761) x) 0.2909738639))))) x))
24.6b
(/ (sqrt (+ (+ 1 (* (* x x) 0.1049934947)) (+ (* (pow x 4) (+ (* x (* x 0.0072644182)) 0.0424060604)) (* (* (pow x 4) (pow x 4)) (+ 0.0005064034 (* x (* x 0.0001789971))))))) (+ (+ (* (* (pow x 4) (* 2 0.0001789971)) (* (pow x 4) (pow x 4))) (+ (* (* x 0.7715471019) x) 1)) (+ (* (* (pow x 4) (pow x 4)) (+ 0.0140005442 (* 0.0008327945 (* x x)))) (* (pow x 4) (+ (* (* x 0.0694555761) x) 0.2909738639)))))
2.6b
(sqrt (+ (+ (+ (* 0.0424060604 (pow x 4)) (* (pow x 6) 0.0072644182)) (+ 1 (* (* 0.1049934947 x) x))) (* (* (pow x 4) (pow x 4)) (+ (* (* x x) 0.0001789971) 0.0005064034))))
2.6b
(sqrt (+ (+ 1 (* (* x x) 0.1049934947)) (+ (* (pow x 4) (+ (* x (* x 0.0072644182)) 0.0424060604)) (* (* (pow x 4) (pow x 4)) (+ 0.0005064034 (* x (* x 0.0001789971)))))))

rewrite554.0ms

Algorithm
rewrite-expression-head
Counts
4 → 179
Calls

4 calls. Slowest were:

284.0ms
(* (sqrt (+ (+ (+ (* 0.0424060604 (pow x 4)) (* (pow x 6) 0.0072644182)) (+ 1 (* (* 0.1049934947 x) x))) (* (* (pow x 4) (pow x 4)) (+ (* (* x x) 0.0001789971) 0.0005064034)))) (* (/ (sqrt (+ (+ 1 (* (* x x) 0.1049934947)) (+ (* (pow x 4) (+ (* x (* x 0.0072644182)) 0.0424060604)) (* (* (pow x 4) (pow x 4)) (+ 0.0005064034 (* x (* x 0.0001789971))))))) (+ (+ (* (* (pow x 4) (* 2 0.0001789971)) (* (pow x 4) (pow x 4))) (+ (* (* x 0.7715471019) x) 1)) (+ (* (* (pow x 4) (pow x 4)) (+ 0.0140005442 (* 0.0008327945 (* x x)))) (* (pow x 4) (+ (* (* x 0.0694555761) x) 0.2909738639))))) x))
197.0ms
(/ (sqrt (+ (+ 1 (* (* x x) 0.1049934947)) (+ (* (pow x 4) (+ (* x (* x 0.0072644182)) 0.0424060604)) (* (* (pow x 4) (pow x 4)) (+ 0.0005064034 (* x (* x 0.0001789971))))))) (+ (+ (* (* (pow x 4) (* 2 0.0001789971)) (* (pow x 4) (pow x 4))) (+ (* (* x 0.7715471019) x) 1)) (+ (* (* (pow x 4) (pow x 4)) (+ 0.0140005442 (* 0.0008327945 (* x x)))) (* (pow x 4) (+ (* (* x 0.0694555761) x) 0.2909738639)))))
50.0ms
(sqrt (+ (+ (+ (* 0.0424060604 (pow x 4)) (* (pow x 6) 0.0072644182)) (+ 1 (* (* 0.1049934947 x) x))) (* (* (pow x 4) (pow x 4)) (+ (* (* x x) 0.0001789971) 0.0005064034))))

series556.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

252.0ms
(* (sqrt (+ (+ (+ (* 0.0424060604 (pow x 4)) (* (pow x 6) 0.0072644182)) (+ 1 (* (* 0.1049934947 x) x))) (* (* (pow x 4) (pow x 4)) (+ (* (* x x) 0.0001789971) 0.0005064034)))) (* (/ (sqrt (+ (+ 1 (* (* x x) 0.1049934947)) (+ (* (pow x 4) (+ (* x (* x 0.0072644182)) 0.0424060604)) (* (* (pow x 4) (pow x 4)) (+ 0.0005064034 (* x (* x 0.0001789971))))))) (+ (+ (* (* (pow x 4) (* 2 0.0001789971)) (* (pow x 4) (pow x 4))) (+ (* (* x 0.7715471019) x) 1)) (+ (* (* (pow x 4) (pow x 4)) (+ 0.0140005442 (* 0.0008327945 (* x x)))) (* (pow x 4) (+ (* (* x 0.0694555761) x) 0.2909738639))))) x))
147.0ms
(/ (sqrt (+ (+ 1 (* (* x x) 0.1049934947)) (+ (* (pow x 4) (+ (* x (* x 0.0072644182)) 0.0424060604)) (* (* (pow x 4) (pow x 4)) (+ 0.0005064034 (* x (* x 0.0001789971))))))) (+ (+ (* (* (pow x 4) (* 2 0.0001789971)) (* (pow x 4) (pow x 4))) (+ (* (* x 0.7715471019) x) 1)) (+ (* (* (pow x 4) (pow x 4)) (+ 0.0140005442 (* 0.0008327945 (* x x)))) (* (pow x 4) (+ (* (* x 0.0694555761) x) 0.2909738639)))))
82.0ms
(sqrt (+ (+ 1 (* (* x x) 0.1049934947)) (+ (* (pow x 4) (+ (* x (* x 0.0072644182)) 0.0424060604)) (* (* (pow x 4) (pow x 4)) (+ 0.0005064034 (* x (* x 0.0001789971)))))))
75.0ms
(sqrt (+ (+ (+ (* 0.0424060604 (pow x 4)) (* (pow x 6) 0.0072644182)) (+ 1 (* (* 0.1049934947 x) x))) (* (* (pow x 4) (pow x 4)) (+ (* (* x x) 0.0001789971) 0.0005064034))))

simplify39.2s

Counts
196 → 191
Calls

196 calls. Slowest were:

658.0ms
(sqrt (+ (* (+ (pow 1 3) (pow (* (* x x) 0.1049934947) 3)) (- (* (pow x 4) (+ (* x (* x 0.0072644182)) 0.0424060604)) (* (* (pow x 4) (pow x 4)) (+ 0.0005064034 (* x (* x 0.0001789971)))))) (* (+ (* 1 1) (- (* (* (* x x) 0.1049934947) (* (* x x) 0.1049934947)) (* 1 (* (* x x) 0.1049934947)))) (- (* (* (pow x 4) (+ (* x (* x 0.0072644182)) 0.0424060604)) (* (pow x 4) (+ (* x (* x 0.0072644182)) 0.0424060604))) (* (* (* (pow x 4) (pow x 4)) (+ 0.0005064034 (* x (* x 0.0001789971)))) (* (* (pow x 4) (pow x 4)) (+ 0.0005064034 (* x (* x 0.0001789971)))))))))
539.0ms
(sqrt (+ (* (+ (pow 1 3) (pow (* (* x x) 0.1049934947) 3)) (* (- (* x (* x 0.0072644182)) 0.0424060604) (- 0.0005064034 (* x (* x 0.0001789971))))) (* (+ (* 1 1) (- (* (* (* x x) 0.1049934947) (* (* x x) 0.1049934947)) (* 1 (* (* x x) 0.1049934947)))) (+ (* (* (pow x 4) (- (* (* x (* x 0.0072644182)) (* x (* x 0.0072644182))) (* 0.0424060604 0.0424060604))) (- 0.0005064034 (* x (* x 0.0001789971)))) (* (- (* x (* x 0.0072644182)) 0.0424060604) (* (* (pow x 4) (pow x 4)) (- (* 0.0005064034 0.0005064034) (* (* x (* x 0.0001789971)) (* x (* x 0.0001789971))))))))))
528.0ms
(+ (* (+ (* (* (pow x 4) (* 2 0.0001789971)) (* (pow x 4) (pow x 4))) (+ (* (* x 0.7715471019) x) 1)) (+ (* (* (pow x 4) (* 2 0.0001789971)) (* (pow x 4) (pow x 4))) (+ (* (* x 0.7715471019) x) 1))) (- (* (+ (* (* (pow x 4) (pow x 4)) (+ 0.0140005442 (* 0.0008327945 (* x x)))) (* (pow x 4) (+ (* (* x 0.0694555761) x) 0.2909738639))) (+ (* (* (pow x 4) (pow x 4)) (+ 0.0140005442 (* 0.0008327945 (* x x)))) (* (pow x 4) (+ (* (* x 0.0694555761) x) 0.2909738639)))) (* (+ (* (* (pow x 4) (* 2 0.0001789971)) (* (pow x 4) (pow x 4))) (+ (* (* x 0.7715471019) x) 1)) (+ (* (* (pow x 4) (pow x 4)) (+ 0.0140005442 (* 0.0008327945 (* x x)))) (* (pow x 4) (+ (* (* x 0.0694555761) x) 0.2909738639))))))

prune17.0s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize180.0ms

Local error

Found 4 expressions with local error:

27.5b
(/ (+ (* (- (* 1 1) (* (* (* x x) 0.1049934947) (* (* x x) 0.1049934947))) (* (+ (* (* x (* x 0.0072644182)) (* x (* x 0.0072644182))) (- (* 0.0424060604 0.0424060604) (* (* x (* x 0.0072644182)) 0.0424060604))) (+ (* 0.0005064034 0.0005064034) (- (* (* x (* x 0.0001789971)) (* x (* x 0.0001789971))) (* 0.0005064034 (* x (* x 0.0001789971))))))) (* (- 1 (* (* x x) 0.1049934947)) (+ (* (* (pow x 4) (+ (pow (* x (* x 0.0072644182)) 3) (pow 0.0424060604 3))) (+ (* 0.0005064034 0.0005064034) (- (* (* x (* x 0.0001789971)) (* x (* x 0.0001789971))) (* 0.0005064034 (* x (* x 0.0001789971)))))) (* (+ (* (* x (* x 0.0072644182)) (* x (* x 0.0072644182))) (- (* 0.0424060604 0.0424060604) (* (* x (* x 0.0072644182)) 0.0424060604))) (* (* (pow x 4) (pow x 4)) (+ (pow 0.0005064034 3) (pow (* x (* x 0.0001789971)) 3))))))) (* (+ (+ (* (* (pow x 4) (* 2 0.0001789971)) (* (pow x 4) (pow x 4))) (+ (* (* x 0.7715471019) x) 1)) (+ (* (* (pow x 4) (pow x 4)) (+ 0.0140005442 (* 0.0008327945 (* x x)))) (* (pow x 4) (+ (* (* x 0.0694555761) x) 0.2909738639)))) (* (- 1 (* (* x x) 0.1049934947)) (* (+ (* (* x (* x 0.0072644182)) (* x (* x 0.0072644182))) (- (* 0.0424060604 0.0424060604) (* (* x (* x 0.0072644182)) 0.0424060604))) (+ (* 0.0005064034 0.0005064034) (- (* (* x (* x 0.0001789971)) (* x (* x 0.0001789971))) (* 0.0005064034 (* x (* x 0.0001789971)))))))))
14.2b
(* (/ (+ (* (- (* 1 1) (* (* (* x x) 0.1049934947) (* (* x x) 0.1049934947))) (* (+ (* (* x (* x 0.0072644182)) (* x (* x 0.0072644182))) (- (* 0.0424060604 0.0424060604) (* (* x (* x 0.0072644182)) 0.0424060604))) (+ (* 0.0005064034 0.0005064034) (- (* (* x (* x 0.0001789971)) (* x (* x 0.0001789971))) (* 0.0005064034 (* x (* x 0.0001789971))))))) (* (- 1 (* (* x x) 0.1049934947)) (+ (* (* (pow x 4) (+ (pow (* x (* x 0.0072644182)) 3) (pow 0.0424060604 3))) (+ (* 0.0005064034 0.0005064034) (- (* (* x (* x 0.0001789971)) (* x (* x 0.0001789971))) (* 0.0005064034 (* x (* x 0.0001789971)))))) (* (+ (* (* x (* x 0.0072644182)) (* x (* x 0.0072644182))) (- (* 0.0424060604 0.0424060604) (* (* x (* x 0.0072644182)) 0.0424060604))) (* (* (pow x 4) (pow x 4)) (+ (pow 0.0005064034 3) (pow (* x (* x 0.0001789971)) 3))))))) (* (+ (+ (* (* (pow x 4) (* 2 0.0001789971)) (* (pow x 4) (pow x 4))) (+ (* (* x 0.7715471019) x) 1)) (+ (* (* (pow x 4) (pow x 4)) (+ 0.0140005442 (* 0.0008327945 (* x x)))) (* (pow x 4) (+ (* (* x 0.0694555761) x) 0.2909738639)))) (* (- 1 (* (* x x) 0.1049934947)) (* (+ (* (* x (* x 0.0072644182)) (* x (* x 0.0072644182))) (- (* 0.0424060604 0.0424060604) (* (* x (* x 0.0072644182)) 0.0424060604))) (+ (* 0.0005064034 0.0005064034) (- (* (* x (* x 0.0001789971)) (* x (* x 0.0001789971))) (* 0.0005064034 (* x (* x 0.0001789971))))))))) x)
12.4b
(+ (* (* x (* x 0.0072644182)) (* x (* x 0.0072644182))) (- (* 0.0424060604 0.0424060604) (* (* x (* x 0.0072644182)) 0.0424060604)))
12.4b
(+ (* (* x (* x 0.0072644182)) (* x (* x 0.0072644182))) (- (* 0.0424060604 0.0424060604) (* (* x (* x 0.0072644182)) 0.0424060604)))

rewrite2.6s

Algorithm
rewrite-expression-head
Counts
4 → 6081
Calls

4 calls. Slowest were:

574.0ms
(* (/ (+ (* (- (* 1 1) (* (* (* x x) 0.1049934947) (* (* x x) 0.1049934947))) (* (+ (* (* x (* x 0.0072644182)) (* x (* x 0.0072644182))) (- (* 0.0424060604 0.0424060604) (* (* x (* x 0.0072644182)) 0.0424060604))) (+ (* 0.0005064034 0.0005064034) (- (* (* x (* x 0.0001789971)) (* x (* x 0.0001789971))) (* 0.0005064034 (* x (* x 0.0001789971))))))) (* (- 1 (* (* x x) 0.1049934947)) (+ (* (* (pow x 4) (+ (pow (* x (* x 0.0072644182)) 3) (pow 0.0424060604 3))) (+ (* 0.0005064034 0.0005064034) (- (* (* x (* x 0.0001789971)) (* x (* x 0.0001789971))) (* 0.0005064034 (* x (* x 0.0001789971)))))) (* (+ (* (* x (* x 0.0072644182)) (* x (* x 0.0072644182))) (- (* 0.0424060604 0.0424060604) (* (* x (* x 0.0072644182)) 0.0424060604))) (* (* (pow x 4) (pow x 4)) (+ (pow 0.0005064034 3) (pow (* x (* x 0.0001789971)) 3))))))) (* (+ (+ (* (* (pow x 4) (* 2 0.0001789971)) (* (pow x 4) (pow x 4))) (+ (* (* x 0.7715471019) x) 1)) (+ (* (* (pow x 4) (pow x 4)) (+ 0.0140005442 (* 0.0008327945 (* x x)))) (* (pow x 4) (+ (* (* x 0.0694555761) x) 0.2909738639)))) (* (- 1 (* (* x x) 0.1049934947)) (* (+ (* (* x (* x 0.0072644182)) (* x (* x 0.0072644182))) (- (* 0.0424060604 0.0424060604) (* (* x (* x 0.0072644182)) 0.0424060604))) (+ (* 0.0005064034 0.0005064034) (- (* (* x (* x 0.0001789971)) (* x (* x 0.0001789971))) (* 0.0005064034 (* x (* x 0.0001789971))))))))) x)
558.0ms
(/ (+ (* (- (* 1 1) (* (* (* x x) 0.1049934947) (* (* x x) 0.1049934947))) (* (+ (* (* x (* x 0.0072644182)) (* x (* x 0.0072644182))) (- (* 0.0424060604 0.0424060604) (* (* x (* x 0.0072644182)) 0.0424060604))) (+ (* 0.0005064034 0.0005064034) (- (* (* x (* x 0.0001789971)) (* x (* x 0.0001789971))) (* 0.0005064034 (* x (* x 0.0001789971))))))) (* (- 1 (* (* x x) 0.1049934947)) (+ (* (* (pow x 4) (+ (pow (* x (* x 0.0072644182)) 3) (pow 0.0424060604 3))) (+ (* 0.0005064034 0.0005064034) (- (* (* x (* x 0.0001789971)) (* x (* x 0.0001789971))) (* 0.0005064034 (* x (* x 0.0001789971)))))) (* (+ (* (* x (* x 0.0072644182)) (* x (* x 0.0072644182))) (- (* 0.0424060604 0.0424060604) (* (* x (* x 0.0072644182)) 0.0424060604))) (* (* (pow x 4) (pow x 4)) (+ (pow 0.0005064034 3) (pow (* x (* x 0.0001789971)) 3))))))) (* (+ (+ (* (* (pow x 4) (* 2 0.0001789971)) (* (pow x 4) (pow x 4))) (+ (* (* x 0.7715471019) x) 1)) (+ (* (* (pow x 4) (pow x 4)) (+ 0.0140005442 (* 0.0008327945 (* x x)))) (* (pow x 4) (+ (* (* x 0.0694555761) x) 0.2909738639)))) (* (- 1 (* (* x x) 0.1049934947)) (* (+ (* (* x (* x 0.0072644182)) (* x (* x 0.0072644182))) (- (* 0.0424060604 0.0424060604) (* (* x (* x 0.0072644182)) 0.0424060604))) (+ (* 0.0005064034 0.0005064034) (- (* (* x (* x 0.0001789971)) (* x (* x 0.0001789971))) (* 0.0005064034 (* x (* x 0.0001789971)))))))))
8.0ms
(+ (* (* x (* x 0.0072644182)) (* x (* x 0.0072644182))) (- (* 0.0424060604 0.0424060604) (* (* x (* x 0.0072644182)) 0.0424060604)))

series704.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

374.0ms
(* (/ (+ (* (- (* 1 1) (* (* (* x x) 0.1049934947) (* (* x x) 0.1049934947))) (* (+ (* (* x (* x 0.0072644182)) (* x (* x 0.0072644182))) (- (* 0.0424060604 0.0424060604) (* (* x (* x 0.0072644182)) 0.0424060604))) (+ (* 0.0005064034 0.0005064034) (- (* (* x (* x 0.0001789971)) (* x (* x 0.0001789971))) (* 0.0005064034 (* x (* x 0.0001789971))))))) (* (- 1 (* (* x x) 0.1049934947)) (+ (* (* (pow x 4) (+ (pow (* x (* x 0.0072644182)) 3) (pow 0.0424060604 3))) (+ (* 0.0005064034 0.0005064034) (- (* (* x (* x 0.0001789971)) (* x (* x 0.0001789971))) (* 0.0005064034 (* x (* x 0.0001789971)))))) (* (+ (* (* x (* x 0.0072644182)) (* x (* x 0.0072644182))) (- (* 0.0424060604 0.0424060604) (* (* x (* x 0.0072644182)) 0.0424060604))) (* (* (pow x 4) (pow x 4)) (+ (pow 0.0005064034 3) (pow (* x (* x 0.0001789971)) 3))))))) (* (+ (+ (* (* (pow x 4) (* 2 0.0001789971)) (* (pow x 4) (pow x 4))) (+ (* (* x 0.7715471019) x) 1)) (+ (* (* (pow x 4) (pow x 4)) (+ 0.0140005442 (* 0.0008327945 (* x x)))) (* (pow x 4) (+ (* (* x 0.0694555761) x) 0.2909738639)))) (* (- 1 (* (* x x) 0.1049934947)) (* (+ (* (* x (* x 0.0072644182)) (* x (* x 0.0072644182))) (- (* 0.0424060604 0.0424060604) (* (* x (* x 0.0072644182)) 0.0424060604))) (+ (* 0.0005064034 0.0005064034) (- (* (* x (* x 0.0001789971)) (* x (* x 0.0001789971))) (* 0.0005064034 (* x (* x 0.0001789971))))))))) x)
260.0ms
(/ (+ (* (- (* 1 1) (* (* (* x x) 0.1049934947) (* (* x x) 0.1049934947))) (* (+ (* (* x (* x 0.0072644182)) (* x (* x 0.0072644182))) (- (* 0.0424060604 0.0424060604) (* (* x (* x 0.0072644182)) 0.0424060604))) (+ (* 0.0005064034 0.0005064034) (- (* (* x (* x 0.0001789971)) (* x (* x 0.0001789971))) (* 0.0005064034 (* x (* x 0.0001789971))))))) (* (- 1 (* (* x x) 0.1049934947)) (+ (* (* (pow x 4) (+ (pow (* x (* x 0.0072644182)) 3) (pow 0.0424060604 3))) (+ (* 0.0005064034 0.0005064034) (- (* (* x (* x 0.0001789971)) (* x (* x 0.0001789971))) (* 0.0005064034 (* x (* x 0.0001789971)))))) (* (+ (* (* x (* x 0.0072644182)) (* x (* x 0.0072644182))) (- (* 0.0424060604 0.0424060604) (* (* x (* x 0.0072644182)) 0.0424060604))) (* (* (pow x 4) (pow x 4)) (+ (pow 0.0005064034 3) (pow (* x (* x 0.0001789971)) 3))))))) (* (+ (+ (* (* (pow x 4) (* 2 0.0001789971)) (* (pow x 4) (pow x 4))) (+ (* (* x 0.7715471019) x) 1)) (+ (* (* (pow x 4) (pow x 4)) (+ 0.0140005442 (* 0.0008327945 (* x x)))) (* (pow x 4) (+ (* (* x 0.0694555761) x) 0.2909738639)))) (* (- 1 (* (* x x) 0.1049934947)) (* (+ (* (* x (* x 0.0072644182)) (* x (* x 0.0072644182))) (- (* 0.0424060604 0.0424060604) (* (* x (* x 0.0072644182)) 0.0424060604))) (+ (* 0.0005064034 0.0005064034) (- (* (* x (* x 0.0001789971)) (* x (* x 0.0001789971))) (* 0.0005064034 (* x (* x 0.0001789971)))))))))
36.0ms
(+ (* (* x (* x 0.0072644182)) (* x (* x 0.0072644182))) (- (* 0.0424060604 0.0424060604) (* (* x (* x 0.0072644182)) 0.0424060604)))
34.0ms
(+ (* (* x (* x 0.0072644182)) (* x (* x 0.0072644182))) (- (* 0.0424060604 0.0424060604) (* (* x (* x 0.0072644182)) 0.0424060604)))

Reproduce

herbie shell --seed 2018360 
(FPCore (x)
  :name "Jmat.Real.dawson"
  (* (/ (+ (+ (+ (+ (+ 1 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (+ (+ (+ (+ (+ (+ 1 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x))))) x))